Compare.Comparison
type 'a t =
| Equivalent
| Different of {
approximant : 'a;
}
val print : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a t -> unit