copy module instead of include (ocaml/odoc#1162)

codex-semantics-library · Jul 17, 2024 · 2fcf6e5 · 2fcf6e5
1 parent 3861e5d
commit 2fcf6e5
Show file tree

Hide file tree

Showing 10 changed files with 13 additions and 12 deletions.
diff --git a/src/PatriciaTree.ml b/src/PatriciaTree.ml
@@ -20,7 +20,7 @@
 (**************************************************************************)
 
 include Ints
-include Signatures
+module Sigs = Sigs
 include Key_value
 include Functors
 include Nodes
diff --git a/src/PatriciaTree.mli b/src/PatriciaTree.mli
@@ -115,18 +115,18 @@
     informative; log(n) corresponds to the real complexity in usual
     distributions. *)
 
-(** {1 Integer manipulations} *)
-
-include module type of Ints
-
 (** {1 Signatures} *)
 
-include module type of Signatures
+module Sigs = Sigs
 
 (** {1 Functors} *)
 
 include module type of Functors
 
+(** {1 Miscellaneous utilities} *)
+
+include module type of Ints
+
 (** {1 Default KEY and VALUE implementations} *)
 (** These can be used as parameters to {!MakeMap}/{!MakeSet} functors in the
     most common use cases. *)

diff --git a/src/functors.ml b/src/functors.ml
@@ -20,7 +20,7 @@
 (**************************************************************************)
 
 open Ints
-open Signatures
+open Sigs
 open Key_value
 open Nodes
 

diff --git a/src/functors.mli b/src/functors.mli
@@ -19,7 +19,7 @@
 (*  for more details (enclosed in the file LICENSE).                      *)
 (**************************************************************************)
 
-open Signatures
+open Sigs
 
 (** This section presents the functors which can be used to build patricia tree
     maps and sets. *)

diff --git a/src/key_value.ml b/src/key_value.ml
@@ -19,7 +19,7 @@
 (*  for more details (enclosed in the file LICENSE).                      *)
 (**************************************************************************)
 
-open Signatures
+open Sigs
 
 (** {1 Keys and values} *)
 

diff --git a/src/key_value.mli b/src/key_value.mli
@@ -19,7 +19,7 @@
 (*  for more details (enclosed in the file LICENSE).                      *)
 (**************************************************************************)
 
-open Signatures
+open Sigs
 
 module Value : VALUE with type 'a t = 'a
 (** Default implementation of {!VALUE}, used in {!MakeMap}.

diff --git a/src/nodes.ml b/src/nodes.ml
@@ -20,7 +20,7 @@
 (**************************************************************************)
 
 open Ints
-open Signatures
+open Sigs
 
 let sdbm x y = y + (x lsl 16) + (x lsl 6) - x
 (** Combine two numbers into a new hash *)

diff --git a/src/nodes.mli b/src/nodes.mli
@@ -19,7 +19,7 @@
 (*  for more details (enclosed in the file LICENSE).                      *)
 (**************************************************************************)
 
-open Signatures
+open Sigs
 
 (** {1 Basic nodes} *)
 

diff --git a/src/signatures.ml → src/sigs.ml b/src/signatures.ml → src/sigs.ml
diff --git a/src/test/patriciaTreeTest.ml b/src/test/patriciaTreeTest.ml
@@ -20,6 +20,7 @@
 (**************************************************************************)
 
 open PatriciaTree
+open Sigs
 
 let check_highest_bit x res  =
   (* Printf.printf "CHECK_HIGHEST_BIT: %x %x\n%!" x res; *)