Module Evd.Expand

Only used as EConstr internals

type handle
val empty_handle : handle
val liftn_handle : int -> handle -> handle
val expand : evar_map -> handle -> econstr -> econstr
val expand_instance : skip:bool -> undefined evar_info -> handle -> econstr SList.t -> econstr SList.t