val from_list : elt list -> t
val make : data -> t
val node : t -> data
+
+ val with_id : Uid.t -> t
end
module Make ( H : Hcons.SA ) : S with type elt = H.t =
let from_list l = List.fold_left (fun acc e -> add e acc) empty l
-
+let with_id = HNode.with_id
end
module Int : sig
external equal : t -> t -> bool = "%eq"
external make : t -> int = "%identity"
external node : t -> int = "%identity"
-
+ external with_id : Uid.t -> t = "%identity"
end
)
let print ppf s =