def tool.all

ezmcp@0.1.0.0 · src/server.bend:165

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

import Base
import emerging-ezjson@1.2.0.0/src/value.bend as Value

165def tool.all(tools: List<&2, Tool>) -> List<&2, Value.Json>:
166  match tools:
167    case []:
168      []
169    case t <> rest:
170      tool.json(t) <> tool.all(rest)

Uses (4)

Used by (1)

ezmcp@0.1.0.0/src/server:list