Pick.mn.min: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/policy/pick.bend as Pick
Lines 238-243 of cswap-bend-cli@0.1.0.0/policy/pick.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/policy/pick.bend&start_line=238&end_line=243

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

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

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/pick.bend&name=Mn
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/rank.bend&name=rec.min