X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fsigs.mli;h=c042c2c397d2ade600e4546e15d63339814df2a5;hb=a0ad65a550db4585332e005d5a77151b076f3fd7;hp=aa670ceb46723c95608fa235e242075d570443e4;hpb=013ac87b16485acbe56f07d99a810d6364242a9e;p=SXSI%2Fxpathcomp.git

diff --git a/src/sigs.mli b/src/sigs.mli
index aa670ce..c042c2c 100644
--- 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 *)
-    
+
   (* Data structures *)
   val equal : t -> t -> bool
   val hash : t -> int
@@ -28,13 +28,13 @@ sig
 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
-    
+
   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 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
-    
+
   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 id : t -> int
   val tag : t -> Tag.t