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 Clone for NumThmPreprocessor
impl Clone for NumThmPreprocessor
Source§fn clone(&self) -> NumThmPreprocessor
fn clone(&self) -> NumThmPreprocessor
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for NumThmPreprocessor
impl Debug for NumThmPreprocessor
Source§impl Default for NumThmPreprocessor
impl Default for NumThmPreprocessor
Source§fn default() -> NumThmPreprocessor
fn default() -> NumThmPreprocessor
Returns the “default value” for a type. Read more
Source§impl<'de> Deserialize<'de> for NumThmPreprocessor
impl<'de> Deserialize<'de> for NumThmPreprocessor
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
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