def proc.fin
import bendonnect-rpc@0.1.0.0/src/protocol.bend as Protocolimport 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()