diff options
| author | Thomas Bauereiss | 2018-11-20 18:32:37 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2018-11-20 18:32:37 +0000 |
| commit | d733aa5c7409c645807589d268c0b80055bf671d (patch) | |
| tree | 513bd8b9a4305d8e799bbe50cd468b7db9e093e6 /src/finite_map.ml | |
| parent | 10cb6bf0b0c37ccf7ec1bc222ed0a694fd815843 (diff) | |
Use nat instead of (list bitU) for addresses in monad outcomes
Removes some friction by back-and-forth conversion when handling events
Diffstat (limited to 'src/finite_map.ml')
0 files changed, 0 insertions, 0 deletions