def below

bend-kit-collections@0.1.4.1 · LAWS.bend:115

import Base

115def below(~K: Data, ~cmp: K -> K -> Cmp, ub: Maybe<&2, K>, +k: K) -> Bool:
116  match ub:
117    case None{}:
118      True{}
119    case Some{b}:
120      Cmp.is_lt(cmp(k, b))