Module 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
Vernacextend.OutProgtype _ 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