This library contains operations to convert binary numbers into standard integer constants.
Version: December 2020
fromNat
:: Nat -> Int
Converts a binary natural number into an integer constant. |
fromBinInt
:: BinInt -> Int
Converts a binary integer into an integer constant. |
Converts a binary integer into an integer constant. |