Up – Package index » rocq-runtime » Library rocq-runtime.engine » Evd » MiniEConstr » ESorts

Module `MiniEConstr.ESorts`Source

Sourcetype t = esorts

Sourceval make : Sorts.t -> t

Sourceval kind : evar_map -> t -> Sorts.t

Sourceval unsafe_to_sorts : t -> Sorts.t