Module Vernacextend.InProg

type _ t =
| Ignore : unit t
| Use : Declare.OblState.t t
val cast : Declare.OblState.t -> 'a t -> 'a