def lt_zero

stelliferous@0.0.2.0 · proofs/nat_division.bend:6

import Base

6def lt_zero(+n: Nat) -> {Nat.is_lt(n,0n) == False{} : Bool}:
7  match n:
8    case 0n:
9      {==}
10    case 1n+p:
11      {==}