def minat.pick

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

import cswap-bend-cli@0.1.0.0/policy/pick.bend as Pick

import Base

303def minat.pick(+hit: Bool, +r: Maybe<&2, Nat>, +m: Mn) -> Mn:
304  match hit:
305    case True{}:
306      mn.min(m, r)
307    case False{}:
308      m

Uses (5)

Used by (1)

cswap-bend-cli@0.1.0.0/policy/pick:minat.step