def pick.hr.at

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

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

365def pick.hr.at(+h0: Nat, +as: List<&2, T.Account>, +rk: Rk, +f: Fam) -> Pm:
366  match h0:
367    case 0n:
368      PmNone{}
369    case 1n+p:
370      pick.hr.go(minat(as, rk, f, h0, MnNone{}), h0, as, rk, f)