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