def elig.pos

cswap-bend-cli@0.1.0.0 · policy/rank.bend:248

import cswap-bend-cli@0.1.0.0/policy/rank.bend as Rank

import Base

248def elig.pos(+h: Maybe<&2, Nat>) -> Maybe<&2, Nat>:
249  match h:
250    case None{}:
251      None{}
252    case Some{x}:
253      elig.pos.at(x)

Uses (3)

Used by (1)

cswap-bend-cli@0.1.0.0/policy/rank:elig.row