Up – Package index » coq-core » Library coq-core.engine » Evd » MiniEConstr » EInstance

Module `MiniEConstr.EInstance`Source

Sourcetype t

Sourceval make : Univ.Instance.t -> t

Sourceval kind : evar_map -> t -> Univ.Instance.t

Sourceval empty : t

Sourceval is_empty : t -> bool

Sourceval unsafe_to_instance : t -> Univ.Instance.t