MiniEConstr.ERelevance
type t = erelevance
val make : Sorts.relevance -> t
val kind : evar_map -> t -> Sorts.relevance
val unsafe_to_relevance : t -> Sorts.relevance