~/jendhub

def pick.head.at

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

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
import cswap-bend-cli@0.1.0.0/policy/rank.bend as R

226def pick.head.at(+h0: Nat, +as: List<&2, T.Account>, +s: R.Sel) -> Pm:
227  match h0:
228    case 0n:
229      PmNone{}
230    case 1n+p:
231      pk.slot(first(as, s, h0), None{}, h0)

Uses (8)

Used by (1)