PAKCS
Exported names: Imported modules:

Module ConvertBinInt

This library contains operations to convert binary numbers into standard integer constants.

Version: February 2017

Summary of exported operations:

fromNat :: Nat -> Int   
Converts a binary natural number into an integer constant.
fromBinInt :: BinInt -> Int   
Converts a binary integer into an integer constant.

Exported operations:

fromNat :: Nat -> Int   

Converts a binary natural number into an integer constant.

fromBinInt :: BinInt -> Int   

Converts a binary integer into an integer constant.