type Server

ezmcp@0.1.0.0 · src/server.bend:15

import Base

15# a server: its name and version, instructions for the client (empty for
16# none), and its tools
17type Server is Data:
18  Server{name: String, version: String, instructions: String,
19    tools: List<&2, Tool>}