Module Vernacextend.InProgSource

Sourcetype _ t =
  1. | Ignore : unit t
  2. | Use : Declare.OblState.t t
Sourceval cast : Declare.OblState.t -> 'a t -> 'a