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

Module `MiniEConstr.EInstance`Source

Sourcetype t = einstance

Sourceval make : UVars.Instance.t -> t

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

Sourceval empty : t

Sourceval is_empty : t -> bool

Sourceval unsafe_to_instance : t -> UVars.Instance.t