Module Evd.AbstractionSource

Sourcetype abstraction =
  1. | Abstract
  2. | Imitate
Sourcetype t = abstraction list
Sourceval identity : t
Sourceval abstract_last : t -> t