Module PrecCompare.Comparison

type t = {
  1. equal : int;
  2. more_precise : int;
  3. less_precise : int;
  4. incomparable : int;
}
val empty : t
val equal : t
val more_precise : t
val less_precise : t
val incomparable : t
val aggregate_same : t -> t -> t
val to_string_infix : t -> string
val total : t -> int
val to_string_counts : t -> string