Struct mm0b_parser::VarNames [−][src]
pub struct VarNames<'a> { /* fields omitted */ }
Expand description
This index subcomponent supplies variable names for terms and theorems.
Trait Implementations
Get shared access to the subcomponent.
Get mutable access to the subcomponent.