def pk.slot

cswap-bend-cli@0.1.0.0 · policy/pick.bend:219

import Base

219def pk.slot(+m: Maybe<&2, Nat>, +r: Maybe<&2, Nat>, +h: Nat) -> Pm:
220  match m:
221    case None{}:
222      PmNone{}
223    case Some{slot}:
224      PmAt{slot, r, h}