def lt

bend-collections-laws-math@1.0.0.0 · src/math/generic.bend:61

import bend-collections-laws-math@1.0.0.0/src/math/generic.bend as Generic
import Base
import bend-collections-laws-math@1.0.0.0/src/math/num.bend as N

61def lt(~T: Data, ~test: N.Test<T> -> Bool, +a: T, +b: T) -> Bool:
62  test(N.Lt{a, b})

Uses (2)

Used by (0)

No other definition uses this definition.