Integers generators generates values respecting the range of Data_encoding.int31.
However, the function's result could be outside this range and raise:
(Invalid_argument "Json_encoding.construct: int out of range")
The issue could be the same with a lot of encodings, should we catch errors from Data_encoding or leave it as is?
Integers generators generates values respecting the range of
Data_encoding.int31.However, the function's result could be outside this range and raise:
(Invalid_argument "Json_encoding.construct: int out of range")The issue could be the same with a lot of encodings, should we catch errors from
Data_encodingor leave it as is?