UGraph.Internal
val add_template_qvars : Sorts.QVar.Set.t -> t -> t
Makes the qvars treated as above prop. Do not use outside kernel inductive typechecking.
val is_above_prop : t -> Sorts.QVar.t -> bool