Rpc.decide.answer: def of ezmcp@0.1.0.0 Import: import ezmcp@0.1.0.0/src/rpc.bend as Rpc Lines 150-161 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=150&end_line=161 import Base import emerging-ezjson@1.2.0.0/src/value.bend as Value # a message with no method: a response when it has a valid id and exactly # one of result and error def decide.answer( +has_id: Bool, +id_ok: Bool, +id: Value.Json, has_result: Bool, has_error: Bool ) -> Msg: Bool.pick(Msg, Bool.and(Bool.and(has_id, id_ok), one(has_result, has_error)), Answer{id}, Junk{head.id(has_id, id_ok, id), "Invalid Request: no method"}) Uses (7): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and 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/src/value.bend&name=Json 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=head.id https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/rpc.bend&name=one