package rocq-runtime

You can search for identifiers within the package.

in-package search v0.2.0

Module `MiniEConstr.ERelevance`Source

Sourcetype t = erelevance

Sourceval make : Sorts.relevance -> t

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

Sourceval unsafe_to_relevance : t -> Sorts.relevance