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