Vernactypes.Prog
type state = Declare.OblState.t
type stack = state NeList.t
type (_, _) t =
| Ignore : (unit, unit) t
| Modify : (state, state) t
| Read : (state, unit) t
| Push : (unit, unit) t
| Pop : (state, unit) t