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