Module Declare.OblState
save / save_admitted can update obligations state, so we need to expose the state here
val empty : t
module View : sig ... endval view : t -> View.t Names.Id.Map.t
Declare.OblStatesave / save_admitted can update obligations state, so we need to expose the state here
val empty : tmodule View : sig ... endval view : t -> View.t Names.Id.Map.t