projects
/
SXSI
/
xpathcomp.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Fast closure branch
[SXSI/xpathcomp.git]
/
ptset.ml
diff --git
a/ptset.ml
b/ptset.ml
index
68f7e2e
..
87e7506
100644
(file)
--- a/
ptset.ml
+++ b/
ptset.ml
@@
-19,6
+19,8
@@
sig
val from_list : elt list -> t
val make : data -> t
val node : t -> data
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 =
end
module Make ( H : Hcons.SA ) : S with type elt = H.t =
@@
-374,7
+376,7
@@
let rec uncons n = match HNode.node n with
let from_list l = List.fold_left (fun acc e -> add e acc) empty l
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
end
module Int : sig
@@
-390,7
+392,7
@@
struct
external equal : t -> t -> bool = "%eq"
external make : t -> int = "%identity"
external node : t -> int = "%identity"
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 =
end
)
let print ppf s =