def gated.ok_a

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

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

56def gated.ok_a(+c: String, +consumed: Maybe<&2, String>, +acct: Json.Json) -> Gated:
57  Gated{Some{c}, None{}, consumed, acct}