Source file `robustly_comparable.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
(** This interface compares float-like objects with a small tolerance.

    For example [=.]  returns true if the floats are almost but not quite equal, and [>.]
    returns false if the floats are almost equal. The tolerance is intended to be about
    right for human-entered values like prices and seconds. *)

module type S = sig
  type t


  val ( >=. ) : t -> t -> bool
  val ( <=. ) : t -> t -> bool
  val ( =. ) : t -> t -> bool
  val ( >. ) : t -> t -> bool
  val ( <. ) : t -> t -> bool
  val ( <>. ) : t -> t -> bool


  val robustly_compare : t -> t -> int
end