def lt0f

bend-collections-laws-math@1.0.0.0 · proofs/math/typed/f64rtools.bend:26

import Base
import bend-collections-laws-math@1.0.0.0/proofs/lib/nat.bend as N

26def lt0f(+h: Nat) -> {Nat.is_lt(h, 0n) == False{} : Bool}:
27  N.not_lt_zero(h)