You can search for identifiers within the package.
in-package search v0.2.0
type t
a type to make context aware
type saved
The data to save at backtrack point
val save : t -> saved
Get the data to save from the original type
val restore : saved -> t -> unit
Restore the saved data after a pop (delayed at the next refresh)
refresh