def lt_zero_false

bendtorch-core@0.1.0.0 · src/autograd/reduce_replayed_proof.bend:137

import Base

137def lt_zero_false(+x: Nat) -> {Nat.is_lt(x, 0n) == False{} : Bool}:
138  match x:
139    case 0n:
140      {==}
141    case 1n+p:
142      {==}