type Pk

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

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

27# The tagged pick.
28type Pk is Data:
29  PkNone{}
30  PkAt{slot: Nat, r: Maybe<&2, Nat>, h: Nat, mode: T.Mode}