~/jendhub

def lt_add

bendtorch-core@0.1.0.0 · src/tensor/contracts/pointwise_proof.bend:66

import bendtorch-core@0.1.0.0/src/tensor/contracts/pointwise_proof.bend as PointwiseProof
import Base

66def lt_add(+cursor: Nat, +rest: Nat) -> {Nat.is_lt(cursor, Nat.add(cursor, 1n+rest)) == True{} : Bool}:
67  match cursor:
68    case 0n:
69      {==}
70    case 1n+previous:
71      lt_add(previous, rest)

Uses (4)

Used by (1)