Grégoire Henry
|
09a039bfea
|
Data_encoding: use inline record for case field
|
2018-05-30 14:38:05 +02:00 |
|
Grégoire Henry
|
c2241c034a
|
Data_encoding: allow smaller size field for Dynamic_size
|
2018-05-25 14:41:27 +02:00 |
|
Grégoire Henry
|
89b6799fd6
|
Data_encoding: add combinator for positive big number
|
2018-05-25 14:41:27 +02:00 |
|
Grégoire Henry
|
2e9df07b0e
|
Data_encoding: add check_size
|
2018-05-24 15:43:15 +00:00 |
|
Grégoire Henry
|
72fc71be67
|
Data_encoding: rename Binary into Binary_writer
|
2018-05-24 15:43:15 +00:00 |
|
Grégoire Henry
|
1da0d0c8d7
|
Data_encoding: split out Binary_length
|
2018-05-24 15:43:15 +00:00 |
|