package rocq-runtime

You can search for identifiers within the package.

in-package search v0.2.0

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