def lt_zero_false

bendtorch-core@0.1.0.0 · src/tensor/contracts/build_facts.bend:23

import Base

23def lt_zero_false(+x: Nat) -> {Nat.is_lt(x, 0n) == False{} : Bool}:
24  match x:
25    case 0n:
26      {==}
27    case 1n+p:
28      {==}