Type Definition mm0b_parser::BasicIndex

type BasicIndex<'a> = (Option<SymbolNames<'a>>, (Option<VarNames<'a>>, Option<HypNames<'a>>));

A basic index, usable for getting names of declarations and variables.