def pred

import minebender-game@1.0.0.0/proof_base.bend as ProofBase

import Base

631def pred(n: Nat) -> Nat:
632  match n:
633    case 0n:
634      0n
635    case 1n+p:
636      p

Uses (1)