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

**Version: **February 2017

```
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. |