Up – Package index » rocq-runtime » Library rocq-runtime.kernel » Sorts » Quality » Constants

Module `Quality.Constants`Source

Sourceval equal : constant -> constant -> bool

Sourceval compare : constant -> constant -> int

Sourceval pr : constant -> Pp.t