Quality.Constants
val equal : constant -> constant -> bool
val compare : constant -> constant -> int
val pr : constant -> Pp.t