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