diff options
| author | Robert Norton | 2017-04-20 14:49:02 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-04-20 14:49:19 +0100 |
| commit | 2a6217cb384fa16908147556e2bead90149821c9 (patch) | |
| tree | 82738b847cdd0d650eeb552c8b034e8161d2cbc1 /src/util.mli | |
| parent | 0418f359ef78de7228b7aff1589c5923a9095494 (diff) | |
more library optimisation. Implement int_of_bit_array using shift, avoiding need to use power.
Diffstat (limited to 'src/util.mli')
0 files changed, 0 insertions, 0 deletions