You can search for identifiers within the package.
in-package search v0.2.0
rocq-runtime.vernac
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