5 Commits

Author	SHA1	Message	Date
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