pub type Header = MarkMap<String, (Location, Value)>;
A data structure representation of the %grmtools section.
struct Header { /* private fields */ }