~/jendhub

def lt_zero

bendtorch-core@0.1.0.0 · src/tensor/construction_PROOF.bend:187

import bendtorch-core@0.1.0.0/src/tensor/construction_PROOF.bend as ConstructionPROOF
import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape

187def lt_zero(+number: Nat, proof: Shape.LT(number, 0n)) -> Empty:
188  match number:
189    case 0n:
190      proof
191    case 1n+p:
192      proof

Uses (3)

Used by (1)