package rocq-runtime

You can search for identifiers within the package.

in-package search v0.2.0

Module `UGraph.Internal`Source

Sourceval add_template_qvars : Sorts.QVar.Set.t -> t -> t

Makes the qvars treated as above prop. Do not use outside kernel inductive typechecking.

Sourceval is_above_prop : t -> Sorts.QVar.t -> bool