def lt_zero_false

bendtorch-core@0.1.0.0 · src/tensor/matmul_PROOF.bend:259

import Base

259def lt_zero_false(+value: Nat) -> {Nat.is_lt(value, 0n) == False{} : Bool}:
260  match value:
261    case 0n:
262      {==}
263    case 1n+tail:
264      {==}