Commits

bergsoe committed 9dca74e

Rename METRIC to SE_METRIC.

  • Participants
  • Parent commits b38f442

Comments (0)

Files changed (2)

File src/PaplTransform.ml

   end
 end
 
-module type METRIC = sig
+module type SE_METRIC = sig
   type t
   val dist1 : float -> float -> t PaplMetric.t
   val dist2_sqr : float -> float -> t PaplMetric.t
   type rot
 
   include PaplSpatialGroup.S with type t := t and type vec := vec
-  include METRIC with type t := t
+  include SE_METRIC with type t := t
 
   val make : vec -> rot -> t
   val make_rotate : rot -> t

File src/PaplTransform.mli

   end
 end
 
-module type METRIC = sig
+module type SE_METRIC = sig
   type t
 
   val dist1 : float -> float -> t PaplMetric.t
   type rot
 
   include PaplSpatialGroup.S with type t := t and type vec := vec
-  include METRIC with type t := t
+  include SE_METRIC with type t := t
 
   val make : vec -> rot -> t
   val make_rotate : rot -> t