~/jendhub

def minr.step

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

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

245def minr.step(+c: Maybe<&2, RH>, +m: Mn) -> Mn:
246  match c:
247    case None{}:
248      m
249    case Some{x}:
250      match x:
251        case RH{r, h}:
252          mn.min(m, r)

Uses (4)

Used by (1)