def AP.lt_zero

bend-osdev-array@0.1.0.1 · PROOF.bend:749

import Base

749def AP.lt_zero(x: Nat) -> {Nat.is_lt(x, 0n) == False{} : Bool}:
750  match x:
751    case 0n:
752      {==}
753    case 1n+p:
754      {==}