def elig.pos.at

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

import Base

241def elig.pos.at(+x: Nat) -> Maybe<&2, Nat>:
242  match x:
243    case 0n:
244      None{}
245    case 1n+p:
246      Some{x}