type RH

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

import Base

17# A candidate's ranking time (reset or recovery; None is inf) and headroom.
18type RH is Data:
19  RH{r: Maybe<&2, Nat>, h: Nat}