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
module View : sig ... end
val view : t -> View.t Names.Id.Map.t