3 type 'a node = Nil | Cons of elt * 'a
7 include Hcons.S with type data = Data.t
10 include Hashtbl.HashedType with type t = Node.t node
17 val equal : t -> t -> bool
19 val node : t -> t node
20 val cons : ?sorted:bool -> elt -> t -> t
23 val fold : (elt -> 'a -> 'a) -> t -> 'a -> 'a
24 val map : (elt -> elt) -> t -> t
25 val iter : (elt -> 'a) -> t -> unit
27 val rev_map : (elt -> elt) -> t -> t
29 val mem : elt -> t -> bool
32 module Make (H : Hcons.SA) : S with type elt = H.t