~/jendhub

def lt_bound

bendtorch-core@0.1.0.0 · src/tensor/contracts/matmul_proof.bend:108

import bendtorch-core@0.1.0.0/src/tensor/contracts/matmul_proof.bend as MatmulProof
import Base

108def lt_bound(-a: Nat, -bound: Nat, -other: Nat, same: {bound == other : Nat}, below: {Nat.is_lt(a, bound) == True{} : Bool}) ->
109  {Nat.is_lt(a, other) == True{} : Bool}:
110  %same : {Nat.is_lt(a, _) == True{} : Bool}
111  below

Uses (3)

Used by (1)