Rpc.decide: def of ezmcp@0.1.0.0 Import: import ezmcp@0.1.0.0/src/rpc.bend as Rpc Lines 195-202 of ezmcp@0.1.0.0/src/rpc.bend: https://jend.leeeet.dev/read.txt?path=ezmcp@0.1.0.0/src/rpc.bend&start_line=195&end_line=202 import Base import emerging-ezjson@1.2.0.0/main.bend as Json # what a message is, from its fields def decide(head: Head) -> Msg: match head: case Head{obj, v2, has_id, id_ok, id, method, params, has_result, has_error}: Bool.pick(Msg, obj, decide.v2(v2, has_id, id_ok, id, method, params, has_result, has_error), Junk{Json.null(), "Invalid Request: not a JSON-RPC object"}) Uses (5): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/main.bend&name=null https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/rpc.bend&name=Head 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/rpc.bend&name=decide.v2