~/jendhub

def cand.gate

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

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

289def cand.gate(+m: Maybe<&2, Nat>, +need: Nat) -> Maybe<&2, Nat>:
290  match m:
291    case None{}:
292      None{}
293    case Some{h}:
294      cand.gate.at(Nat.is_ge(h, need), h)

Uses (4)

Used by (1)