Evd.Abstraction
type abstraction =
| Abstract
| Imitate
type t = abstraction list
val identity : t
val abstract_last : t -> t