Declare.OblState
save / save_admitted can update obligations state, so we need to expose the state here
save
save_admitted
type t
val empty : t