~/jendhub

def minat.step

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

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

310def minat.step(+c: Maybe<&2, RH>, +h0: Nat, +m: Mn) -> Mn:
311  match c:
312    case None{}:
313      m
314    case Some{x}:
315      match x:
316        case RH{r, h}:
317          minat.pick(Nat.is_eq(h, h0), r, m)

Uses (6)

Used by (1)