sig type elt val hashcons : Hashcons.S.elt -> Hashcons.S.elt val mem : Hashcons.S.elt -> bool val fresh_unique_id : unit -> int val stats : unit -> int * int * int * int * int * int end