package coq

  1. Overview
  2. Docs

Module Evd.AbstractionSource

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