T.Replace_polymorphic_compare
val (>=) : location -> location -> bool
val (<=) : location -> location -> bool
val (=) : location -> location -> bool
val (>) : location -> location -> bool
val (<) : location -> location -> bool
val (<>) : location -> location -> bool
val equal : location -> location -> bool
val compare : location -> location -> int
val min : location -> location -> location
val max : location -> location -> location