~/jendhub

def minr

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

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

254# The earliest ranking time among the family's candidates.
255def minr(+as: List<&2, T.Account>, +rk: Rk, +f: Fam, +m: Mn) -> Mn:
256  match as:
257    case Nil{}:
258      m
259    case Con{a, t}:
260      minr(t, rk, f, minr.step(cdn(a, rk, f), m))

Uses (7)

Used by (1)