~/jendhub

def known

ezmcp@0.1.0.0 · src/server.bend:186

import ezmcp@0.1.0.0/src/server.bend as Server
import Base

186# whether a tool table has a tool by this name
187def known(tools: List<&2, Tool>, +name: String) -> Bool:
188  match tools:
189    case []:
190      False{}
191    case Tool{tname, _desc, _input} <> rest:
192      known.or(String.eq(tname, name), _u => known(rest, name))

Uses (6)

Used by (1)