pub struct NumThmPreprocessor { /* private fields */ }
Expand description
A preprocessor for automatically numbering theorems, lemmas, etc.
Implementations§
Source§impl NumThmPreprocessor
impl NumThmPreprocessor
pub fn new(ctx: &PreprocessorContext) -> Self
Trait Implementations§
Source§impl Default for NumThmPreprocessor
impl Default for NumThmPreprocessor
Source§impl Preprocessor for NumThmPreprocessor
impl Preprocessor for NumThmPreprocessor
Auto Trait Implementations§
impl Freeze for NumThmPreprocessor
impl RefUnwindSafe for NumThmPreprocessor
impl Send for NumThmPreprocessor
impl Sync for NumThmPreprocessor
impl Unpin for NumThmPreprocessor
impl UnwindSafe for NumThmPreprocessor
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more