def scoped.mk

cswap-bend-cli@0.1.0.0 · poll.bend:264

import Base
import cswap-bend-cli@0.1.0.0/policy/types.bend as PT

264def scoped.mk(n: Maybe<&2, String>, p: Maybe<&2, Nat>, r: Maybe<&2, Nat>) -> Maybe<&2, PT.Scoped>:
265  match n p:
266    case Some{name} Some{x}:
267      Some{PT.Scoped{name, x, r}}
268    case _ _:
269      None{}