~/jendhub

def lt_add

bendtorch-core@0.1.0.0 · src/tensor/matrix_index_proof.bend:225

import bendtorch-core@0.1.0.0/src/tensor/matrix_index_proof.bend as MatrixIndexProof
import Base

225def lt_add(+cursor: Nat, +rest: Nat) -> {Nat.is_lt(cursor, Nat.add(cursor, 1n+rest)) == True{} : Bool}:
226  match cursor:
227    case 0n:
228      {==}
229    case 1n+p:
230      lt_add(p, rest)

Uses (4)

Used by (1)