def aes_nat_pred
import qasim-bend-kit@0.1.0.2/PROOF.bend as PROOFimport Base
376def aes_nat_pred(n: Nat) -> Nat:
377 match n:
378 case 0n: 0n
379 case 1n+p: p
Uses (1)
Used by (0)
No other definition uses this definition.
import qasim-bend-kit@0.1.0.2/PROOF.bend as PROOFimport Base
376def aes_nat_pred(n: Nat) -> Nat:
377 match n:
378 case 0n: 0n
379 case 1n+p: p
No other definition uses this definition.