def pred

bendtorch-core@0.1.0.0 · src/shape/unique_proofs.bend:6

import Base

6def pred(value: Nat) -> Nat:
7  match value:
8    case 0n:
9      0n
10    case 1n+p:
11      p