def pred

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

import Base

461def pred(n: Nat) -> Nat:
462  match n:
463    case 0n:
464      0n
465    case 1n+p:
466      p

Uses (1)