def predecessor

qasim-bend-kit@0.1.0.2 · proof/AES_ZipLengthProof.bend:13

import Base

13def predecessor(n: Nat) -> Nat:
14    match n:
15        case 0n: 0n
16        case 1n+p: p