Module PrecCompare.Comparison

type t =
  1. | Equal
  2. | MorePrecise of int
  3. | LessPrecise of int
  4. | Incomparable of int * int
val aggregate_same : t -> t -> t
val to_string_infix : t -> string
val counts : t -> int * int