Nametab.StateInfo
Necessary data to declare the imperative state for a nametab.
val stage : Summary.Stage.t
val summary_name : string