pub type UInt = u64;Expand description
Signed/unsigned integer types used to represent values in ASN.1 All definitions below are relative to these two types
NOTE: proofs in this module should be independent of the choice of UInt/Int. To change their definitions (to u128/i128, for example), we only need to change the macro uint_size!