def lt_zero_false

bendtorch-core@0.1.0.0 · src/shape/projection_proofs.bend:29

import Base

29def lt_zero_false(+value: Nat) -> {Nat.is_lt(value, 0n) == False{} : Bool}:
30  match value:
31    case 0n:
32      {==}
33    case 1n+p:
34      {==}