package coq
val univ_context : t -> AUContext.tval variance : t -> Variance.t arrayval leq_constraints : t -> Instance.t constraint_functionval eq_constraints : t -> Instance.t constraint_functionval univ_context : t -> AUContext.tval variance : t -> Variance.t arrayval leq_constraints : t -> Instance.t constraint_functionval eq_constraints : t -> Instance.t constraint_function