Vernacextend.OutProg
type _ t =
| No : unit t
| Yes : Declare.OblState.t t
| Push
| Pop
val cast : 'a -> 'a t -> Declare.OblState.t NeList.t -> Declare.OblState.t NeList.t