-
Andrei Paskevich authored
export Why3's extended hash tables as Stdlib.XHashtbl in order to keep OCaml's Hashtbl accessible. Unlike Stdlib.Map which fully covers the OCaml's interface, Stdlib.XHashtbl does not provide polymorphic hash tables.
1dda6f80