• Andrei Paskevich's avatar
    do not hide OCaml's Hashtbl · 1dda6f80
    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
ident.mli 3.19 KB