Struct mm0b_parser::ThmRef [−][src]
pub struct ThmRef<'a> {
pub tid: ThmId,
// some fields omitted
}
Expand description
A reference to an entry in the theorem table.
Fields
tid: ThmId
The index into the theorem table.
Implementations
Trait Implementations
Auto Trait Implementations
impl<'a> RefUnwindSafe for ThmRef<'a>
impl<'a> UnwindSafe for ThmRef<'a>
Blanket Implementations
Mutably borrows from an owned value. Read more