~/jendhub

def lt_self

bendtorch-core@0.1.0.0 · src/tensor/signed_PROOF.bend:17

import bendtorch-core@0.1.0.0/src/tensor/signed_PROOF.bend as SignedPROOF
import Base

17# n < n is false.
18def lt_self(+n: Nat) -> {Nat.is_lt(n, n) == False{} : Bool}:
19  match n:
20    case 0n:
21      {==}
22    case 1n+p:
23      lt_self(p)

Uses (3)

Used by (1)