Rpc.decide.v2: def of ezmcp@0.1.0.0
Import: import ezmcp@0.1.0.0/src/rpc.bend as Rpc
Lines 178-193 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=178&end_line=193

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

def decide.v2(
  v2: Bool,
  +has_id: Bool,
  +id_ok: Bool,
  +id: Value.Json,
  method: Maybe<&2, String>,
  params: Value.Json,
  has_result: Bool,
  has_error: Bool
) -> Msg:
  match v2:
    case False{}:
      Junk{head.id(has_id, id_ok, id),
        "Invalid Request: jsonrpc must be \"2.0\""}
    case True{}:
      decide.kind(has_id, id_ok, id, method, params, has_result, has_error)

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=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  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=decide.kind
  https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/rpc.bend&name=head.id