diff options
| author | Kathy Gray | 2016-01-13 12:39:35 +0000 |
|---|---|---|
| committer | Kathy Gray | 2016-01-13 12:39:35 +0000 |
| commit | d675ddfad2a13b566585f330f233124ff77066e3 (patch) | |
| tree | d36d102d8625911ccb6e272709b0d7b65b9bc817 /src/pp.ml | |
| parent | a63ed7f86828c9d0cee8e071aa161cb4075828b9 (diff) | |
Closes issue #28 and issue #27
Note: also adds a most_significant function to the standard library, that returns the lowest indexed bit in a inc bit vector and the biggest indexed bit in a dec bit vector.
Diffstat (limited to 'src/pp.ml')
0 files changed, 0 insertions, 0 deletions