type Cd

cswap-bend-cli@0.1.0.0 · policy/safe.bend:23

import Base

23# A candidate with its ranking key (smaller wins: `k1`, then `k2`) and its
24# headroom. `k1` None is infinity.
25type Cd is Data:
26  Cd{slot: Nat, k1: Maybe<&2, Nat>, k2: Nat, h: Nat}