Add Num.withoutDecimalPoint

This commit is contained in:
Fabian Schmalzried 2024-03-14 23:59:06 +01:00
parent 62cc19c64b
commit 9c664172dd
No known key found for this signature in database
GPG key ID: D691D5DA4CEF42E7
9 changed files with 25 additions and 4 deletions

View file

@ -103,6 +103,7 @@ pub enum LowLevel {
NumCountTrailingZeroBits,
NumCountOneBits,
I128OfDec,
DecWithoutDecimalPoint,
Eq,
NotEq,
And,
@ -337,6 +338,7 @@ map_symbol_to_lowlevel! {
NumCountTrailingZeroBits <= NUM_COUNT_TRAILING_ZERO_BITS;
NumCountOneBits <= NUM_COUNT_ONE_BITS;
I128OfDec <= I128_OF_DEC;
DecWithoutDecimalPoint <= I128_OF_DEC;
Eq <= BOOL_STRUCTURAL_EQ;
NotEq <= BOOL_STRUCTURAL_NOT_EQ;
And <= BOOL_AND;