def mn.min

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

import Base
import cswap-bend-cli@0.1.0.0/policy/rank.bend as R

238def mn.min(+m: Mn, +r: Maybe<&2, Nat>) -> Mn:
239  match m:
240    case MnNone{}:
241      MnAt{r}
242    case MnAt{x}:
243      MnAt{R.rec.min(x, r)}