val equal : t -> t -> bool
val nil : t
val node : t -> t node
- val cons : elt -> t -> t
+ val cons : ?sorted:bool -> elt -> t -> t
val hd : t -> elt
val tl : t -> t
val fold : (elt -> 'a -> 'a) -> t -> 'a -> 'a
val rev_map : (elt -> elt) -> t -> t
val length : t -> int
val mem : elt -> t -> bool
+ val stats : unit -> unit
+ val init : unit -> unit
end
module Make (H : Hcons.SA) : S with type elt = H.t