Vernactypes.Proof
type state = Declare.Proof.t
type (_, _) t =
| Ignore : (unit, unit) t
| Modify : (state, state) t
| Read : (state, unit) t
| ReadOpt : (state option, unit) t
| Reject : (unit, unit) t
| Close : (state, unit) t
| Open : (unit, state) t