-
Kim Nguyễn authored
Implement hash-consing of big_ints. This allows us to know the set of all big_ints constants that are used by a program and to serialize them as string (fix a compatibility issue with js_of_ocaml). This could also lead to some optimizations when computing expensive big_ints.
7fbf7e27