Ezmcp.refuse: def of ezmcp@0.1.0.0
Import: import ezmcp@0.1.0.0/main.bend as Ezmcp
Lines 77-81 of ezmcp@0.1.0.0/main.bend: https://jend.leeeet.dev/read.txt?path=ezmcp@0.1.0.0/main.bend&start_line=77&end_line=81

import Base
import ezmcp@0.1.0.0/src/rpc.bend as Rpc

# a runner's answer for a call it refuses as a protocol error: a JSON-RPC
# error with this code and message instead of a tool result
# (server/tools#error-handling)
def refuse(code: Rpc.Code, message: String) -> Rpc.Out:  # noqa: L001 the Rpc.Err constructor
  Rpc.Err{code, message}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/rpc.bend&name=Code
  https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/rpc.bend&name=Out