def gated.ok

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

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

53def gated.ok(+c: String, +consumed: Maybe<&2, String>) -> Gated:
54  Gated{Some{c}, None{}, consumed, Json.JNull{}}