projects
/
SXSI
/
xpathcomp.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Use attribute force_align_arg_pointer only for architectures where it
[SXSI/xpathcomp.git]
/
src
/
sigs.mli
diff --git
a/src/sigs.mli
b/src/sigs.mli
index
aa670ce
..
c042c2c
100644
(file)
--- a/
src/sigs.mli
+++ b/
src/sigs.mli
@@
-10,7
+10,7
@@
module type T = sig
(* Debugging *)
val dump : Format.formatter -> t -> unit
val check : t -> unit (* Check internal invariants *)
(* Debugging *)
val dump : Format.formatter -> t -> unit
val check : t -> unit (* Check internal invariants *)
-
+
(* Data structures *)
val equal : t -> t -> bool
val hash : t -> int
(* Data structures *)
val equal : t -> t -> bool
val hash : t -> int
@@
-28,13
+28,13
@@
sig
end
module type BINARY_TREE =
end
module type BINARY_TREE =
- functor (Tag:TAG) ->
+ functor (Tag:TAG) ->
sig
include T
module Tag : TAG with type t = Tag.t
val parse_xml_uri : string -> t
val parse_xml_string : string -> t
sig
include T
module Tag : TAG with type t = Tag.t
val parse_xml_uri : string -> t
val parse_xml_string : string -> t
-
+
val root : t -> t
val is_string : t -> bool
val root : t -> t
val is_string : t -> bool
@@
-45,20
+45,20
@@
sig
val first_child : t -> t
val next_sibling : t -> t
val parent : t -> t
val first_child : t -> t
val next_sibling : t -> t
val parent : t -> t
-
+
val id : t -> int
val tag : t -> Tag.t
val print_xml : out_channel -> t -> unit
val size : t -> int*int*int*int
end
val id : t -> int
val tag : t -> Tag.t
val print_xml : out_channel -> t -> unit
val size : t -> int*int*int*int
end
-module type BINARY_TREE_S =
+module type BINARY_TREE_S =
sig
include T
module Tag : TAG
val parse_xml_uri : string -> t
val parse_xml_string : string -> t
sig
include T
module Tag : TAG
val parse_xml_uri : string -> t
val parse_xml_string : string -> t
-
+
val root : t -> t
val is_string : t -> bool
val root : t -> t
val is_string : t -> bool
@@
-69,7
+69,7
@@
sig
val first_child : t -> t
val next_sibling : t -> t
val parent : t -> t
val first_child : t -> t
val next_sibling : t -> t
val parent : t -> t
-
+
val id : t -> int
val tag : t -> Tag.t
val id : t -> int
val tag : t -> Tag.t