From a0ad65a550db4585332e005d5a77151b076f3fd7 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Kim=20Nguy=E1=BB=85n?= Date: Thu, 1 Mar 2012 14:29:21 +0100 Subject: [PATCH] Cosmetic changes. --- src/sigs.mli | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) 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 -- 2.17.1