Implement hash for Dec

This commit is contained in:
Ayaz Hafiz 2023-05-26 11:32:59 -05:00
parent 0b475ae979
commit 3585d5bb5b
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
12 changed files with 44 additions and 6 deletions

View file

@ -110,6 +110,7 @@ pub enum LowLevel {
NumCountLeadingZeroBits,
NumCountTrailingZeroBits,
NumCountOneBits,
I128OfDec,
Eq,
NotEq,
And,
@ -340,6 +341,7 @@ map_symbol_to_lowlevel! {
NumCountLeadingZeroBits <= NUM_COUNT_LEADING_ZERO_BITS,
NumCountTrailingZeroBits <= NUM_COUNT_TRAILING_ZERO_BITS,
NumCountOneBits <= NUM_COUNT_ONE_BITS,
I128OfDec <= I128_OF_DEC,
Eq <= BOOL_STRUCTURAL_EQ,
NotEq <= BOOL_STRUCTURAL_NOT_EQ,
And <= BOOL_AND,