pub type NotationMap = DTDMap<Notation, NotationRef>;
pub struct NotationMap { /* private fields */ }