def predecessor

qasim-bend-kit@0.1.0.2 · proof/AES_MaskedXorProof.bend:203

import Base

203def predecessor(n: Nat) -> Nat:
204    match n:
205        case 0n: 0n
206        case 1n+p: p