• François Bobot's avatar
    stdlib: remove polymorphic hashtbl · 068ddc7b
    François Bobot authored
       - add functions to Hashtbl.S
       - without ocaml 3.12 its not possible to do that for Hashtbl without
         copying the signature
       - "open Stdlib" hides the polymorphic hashtbl, perhaps a good idea
         since that avoid errors.
    068ddc7b
encoding_instantiate.ml 19.1 KB