def nat.lt_zero

bend-osdev-algo@0.1.0.0 · PROOF.bend:77

import bend-osdev-algo@0.1.0.0/PROOF.bend as PROOF

import Base

77def nat.lt_zero(x: Nat) -> {Nat.is_lt(x, 0n) == False{} : Bool}:
78  match x:
79    case 0n:
80      {==}
81    case 1n+p:
82      {==}

Uses (3)

Used by (2)