def lt_self

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

import Base

46def lt_self(+number: Nat) -> {Nat.is_lt(number, number) == False{} : Bool}:
47  match number:
48    case 0n:
49      {==}
50    case 1n+rest:
51      lt_self(rest)