diff options
| author | Jason Gross | 2018-11-28 15:16:31 -0500 |
|---|---|---|
| committer | Jason Gross | 2018-11-28 15:16:31 -0500 |
| commit | f5e3d9e29f030a86433bb2700e55c4c183593163 (patch) | |
| tree | 519a8de15016906348e69a03560c0d8393215d7e /test-suite/output/StringSyntax.out | |
| parent | 5537151575195addd3e1e0003025384a85d957f7 (diff) | |
Byte.v: use right-associative tuples in bits
We encode the conversion to bits with little-endian right-associative
tuples to ensure that the head of the tuple (the `fst` element) is the
least significant bit. We still enforce that the ordering of bits
matches the order of the `bool`s in the `ascii` inductive type.
Diffstat (limited to 'test-suite/output/StringSyntax.out')
0 files changed, 0 insertions, 0 deletions