def AP.pred

bend-osdev-array@0.1.0.1 · PROOF.bend:1329

import Base

1329def AP.pred(n: Nat) -> Nat:
1330  match n:
1331    case 0n:
1332      0n
1333    case 1n+p:
1334      p