def below

bend-collections@1.0.0.0 · src/containers/bitlist.bend:42

import Base

42# Room for one more bit under the limit.
43def below(lim: Maybe<&2, Nat>, +n: Nat) -> Bool:
44  match lim:
45    case None{}:
46      True{}
47    case Some{k}:
48      Nat.is_lt(n, k)