def predecessor

qasim-bend-kit@0.1.0.2 · proof/AES_LengthLimitProof.bend:17

import Base

17def predecessor(n: Nat) -> Nat:
18    match n:
19        case 0n: 0n
20        case 1n+p: p