Commits

bergsoe committed b132cb9

The to_option_less_than utility is trivial and is removed.

  • Participants
  • Parent commits 2283f88

Comments (0)

Files changed (2)

src/PaplMetric.ml

 
 let to_option m = (); fun a b -> Some (m a b)
 
-let to_option_less_than m eps = ();
-  fun a b ->
-    let d = m a b in
-      if d < eps then Some d
-      else None
-
 let map_result f m a b = f (m a b)
 
 let scale s = map_result (( *. ) s)

src/PaplMetric.mli

     a b)].
 *)
 
-val to_option_less_than : 'a t -> float -> 'a option_t
-
 val map_result : (float -> float) -> 'a t -> 'a t
 (** Map a function onto the result of a metric.