def new_ge

cswap-bend-cli@0.1.0.0 · poll.bend:195

import cswap-bend-cli@0.1.0.0/poll.bend as Poll
import Base

195def new_ge(new: Maybe<&2, U32>, +floor: U32) -> Bool:
196  match new:
197    case Some{n}:
198      U32.is_ge(n, floor)
199    case None{}:
200      False{}

Uses (4)

Used by (1)