Server.session: def of ezmcp@0.1.0.0 Import: import ezmcp@0.1.0.0/src/server.bend as Server Lines 99-110 of ezmcp@0.1.0.0/src/server.bend: https://jend.leeeet.dev/read.txt?path=ezmcp@0.1.0.0/src/server.bend&start_line=99&end_line=110 import Base import ezmcp@0.1.0.0/src/rpc.bend as Rpc # the revision the messages after this one are read by: the one the server # answers an initialize request with, else the one they were read by def session(rev: String, msg: Rpc.Msg) -> String: match msg: case Rpc.Ask{id, +m, params}: session.ask(rev, params, String.eq(m, "initialize")) case Rpc.Tell{m, params}: rev case Rpc.Answer{id}: rev case Rpc.Junk{id, why}: rev Uses (4): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.eq https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/rpc.bend&name=Msg https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/server.bend&name=session.ask