def nat_code

qasim-bend-kit@0.1.0.2 · proof/AES_CertificateProof.bend:69

import Base

69def nat_code(a: Nat, b: Nat) -> Data:
70    match a b:
71        case 0n 0n: Unit
72        case 1n+p 1n+q: nat_code(p, q)
73        case _ _: Empty