Commits

bergsoe committed 1521558

The OPTION module type is removed since it is not used anywhere.

Comments (0)

Files changed (2)

src/PaplMetric.ml

 
   let dist_inf m0 m1 = dist_helper id max m0 m1
 end
-
-module type OPTION = sig
-  type t
-  val dist : t option_t
-end

src/PaplMetric.mli

 *)
 module Tuple2 : sig
   val dist1 : 'a t -> 'b t -> ('a * 'b) t
-  (** The Manhattan distance. *)
+  (** Manhattan distance. *)
 
   val dist2 : 'a t -> 'b t -> ('a * 'b) t
-  (** The Euclidean distance. *)
+  (** Euclidean distance. *)
 
   val dist2_sqr : 'a t -> 'b t -> ('a * 'b) t
-  (** The square of Euclidean distance. *)
+  (** Square of the Euclidean distance. *)
 
   val dist_inf : 'a t -> 'b t -> ('a * 'b) t
-  (** The max distance. *)
-end
-
-module type OPTION = sig
-  type t
-  val dist : t option_t
+  (** Max distance. *)
 end