def lt_zero_false

bendtorch-core@0.1.0.0 · src/tensor/transform_PROOF.bend:253

import Base

253def lt_zero_false(a: Nat) -> {Nat.is_lt(a, 0n) == False{} : Bool}:
254  match a:
255    case 0n:
256      {==}
257    case 1n+p:
258      {==}