type Meas

cswap-bend-cli@0.1.0.0 · policy/rank.bend:10

import Base

10# Measured candidates: any, all at or over the threshold, best headroom.
11type Meas is Data:
12  Meas{any: Bool, all: Bool, best: Nat}