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

Module `Sorts.QUConstraints`Source

Sourcetype t = QConstraints.t * Univ.Constraints.t

Sourceval union : t -> t -> t

Sourceval empty : t