def barred

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

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

import Base

228def barred(+bar: Maybe<&2, Nat>, +slot: Nat) -> Bool:
229  match bar:
230    case None{}:
231      False{}
232    case Some{b}:
233      Nat.is_eq(b, slot)

Uses (4)

Used by (1)

cswap-bend-cli@0.1.0.0/policy/rank:target.base