def below_zero

bendtorch-core@0.1.0.0 · src/autograd/gradient_PROOF.bend:60

import Base

60def below_zero(+number: Nat) -> {Nat.is_lt(number, 0n) == False{} : Bool}:
61  match number:
62    case 0n:
63      {==}
64    case 1n+rest:
65      {==}