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

Module `Sorts.QContextSet`Source

Sourcetype t = QVar.Set.t * ElimConstraints.t

Sourceval empty : t

Sourceval union : t -> t -> t

Sourceval filter_constant_qualities : t -> t