def proc.fin

bendonnect-rpc@0.1.0.0 · src/protocol.bend:320

import bendonnect-rpc@0.1.0.0/src/protocol.bend as Protocol
import Base

320def proc.fin(ok: Bool, +p: String) -> Result<&2, &1, Reject, String>:
321  match ok:
322    case True{}:
323      Done{p}
324    case False{}:
325      bad_path()

Uses (5)

Used by (1)