type Pm

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

import Base

21# A pick before it is tagged with its ranking mode: nothing, or a slot with
22# the key it won on.
23type Pm is Data:
24  PmNone{}
25  PmAt{slot: Nat, r: Maybe<&2, Nat>, h: Nat}