Module Quality.ConstantsSource

Sourceval equal : constant -> constant -> bool
Sourceval compare : constant -> constant -> int
Sourceval eliminates_to : constant -> constant -> bool
Sourceval pr : constant -> Pp.t