def gated.err

cswap-bend-cli@0.1.0.0 · usage/gate.bend:50

import cswap-bend-cli@0.1.0.0/usage/gate.bend as Gate
import Base
import cswap-bend-cli@0.1.0.0/json.bend as Json

50def gated.err(+k: String, +consumed: Maybe<&2, String>) -> Gated:
51  Gated{None{}, Some{k}, consumed, Json.JNull{}}

Uses (4)

Used by (6)