File tree 10 files changed +12
-13
lines changed
10 files changed +12
-13
lines changed Original file line number Diff line number Diff line change 20
20
(* *************************************************************************)
21
21
22
22
include Ints
23
- module Sigs = Sigs
23
+ include Signatures
24
24
include Key_value
25
25
include Functors
26
26
include Nodes
Original file line number Diff line number Diff line change 115
115
informative; log(n) corresponds to the real complexity in usual
116
116
distributions. *)
117
117
118
+ (* * {1 Integer manipulations} *)
119
+
120
+ include module type of Ints
121
+
118
122
(* * {1 Signatures} *)
119
123
120
- module Sigs = Sigs
124
+ include module type of Signatures
121
125
122
126
(* * {1 Functors} *)
123
127
124
128
include module type of Functors
125
129
126
- (* * {1 Miscellaneous utilities} *)
127
-
128
- include module type of Ints
129
-
130
130
(* * {1 Default KEY and VALUE implementations} *)
131
131
(* * These can be used as parameters to {!MakeMap}/{!MakeSet} functors in the
132
132
most common use cases. *)
Original file line number Diff line number Diff line change 20
20
(* *************************************************************************)
21
21
22
22
open Ints
23
- open Sigs
23
+ open Signatures
24
24
open Key_value
25
25
open Nodes
26
26
Original file line number Diff line number Diff line change 19
19
(* for more details (enclosed in the file LICENSE). *)
20
20
(* *************************************************************************)
21
21
22
- open Sigs
22
+ open Signatures
23
23
24
24
(* * This section presents the functors which can be used to build patricia tree
25
25
maps and sets. *)
Original file line number Diff line number Diff line change 19
19
(* for more details (enclosed in the file LICENSE). *)
20
20
(* *************************************************************************)
21
21
22
- open Sigs
22
+ open Signatures
23
23
24
24
(* * {1 Keys and values} *)
25
25
Original file line number Diff line number Diff line change 19
19
(* for more details (enclosed in the file LICENSE). *)
20
20
(* *************************************************************************)
21
21
22
- open Sigs
22
+ open Signatures
23
23
24
24
module Value : VALUE with type 'a t = 'a
25
25
(* * Default implementation of {!VALUE}, used in {!MakeMap}.
Original file line number Diff line number Diff line change 20
20
(* *************************************************************************)
21
21
22
22
open Ints
23
- open Sigs
23
+ open Signatures
24
24
25
25
let sdbm x y = y + (x lsl 16 ) + (x lsl 6 ) - x
26
26
(* * Combine two numbers into a new hash *)
Original file line number Diff line number Diff line change 19
19
(* for more details (enclosed in the file LICENSE). *)
20
20
(* *************************************************************************)
21
21
22
- open Sigs
22
+ open Signatures
23
23
24
24
(* * {1 Basic nodes} *)
25
25
File renamed without changes.
Original file line number Diff line number Diff line change 20
20
(* *************************************************************************)
21
21
22
22
open PatriciaTree
23
- open Sigs
24
23
25
24
let check_highest_bit x res =
26
25
(* Printf.printf "CHECK_HIGHEST_BIT: %x %x\n%!" x res; *)
You can’t perform that action at this time.
0 commit comments