def win.opt

cswap-bend-cli@0.1.0.0 · policy/usage.bend:36

import cswap-bend-cli@0.1.0.0/policy/usage.bend as Usage
import Base
import cswap-bend-cli@0.1.0.0/policy/types.bend as T

36def win.opt(+p: Maybe<&2, Nat>, +r: Maybe<&2, Nat>, +rest: List<&2, T.Win>) -> List<&2, T.Win>:
37  match p:
38    case None{}:
39      rest
40    case Some{x}:
41      Con{T.Win{x, r}, rest}

Uses (4)

Used by (1)