type Mn

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

import Base

39# The best ranking time so far among the family's candidates.
40type Mn is Data:
41  MnNone{}
42  MnAt{r: Maybe<&2, Nat>}