Struct mmb_parser::Mmb [−][src]
Implementations
impl<'a> Mmb<'a>
[src]
pub fn from(file: &'a [u8]) -> Option<Mmb<'a>>
[src]
Build a Mmb
struct by parsing the file header
pub fn file(&self) -> &[u8]
[src]
Return the slice containing the entire file
pub fn version(&self) -> u8
[src]
Return the version of the proof file format
pub fn num_sorts(&self) -> u8
[src]
Return the number of sorts in the sort table
pub fn num_terms(&self) -> u32
[src]
Return the number of terms in the term table
pub fn num_theorems(&self) -> u32
[src]
Return the number of theorems in the theorem table
pub fn sorts(&self) -> &[u8]
[src]
Return the slice containing the sort table
pub fn terms(&self) -> &[u8]
[src]
Return the slice containing the term table
pub fn theorems(&self) -> &[u8]
[src]
Return the slice containing the theorem table
pub fn proofs(&self) -> &[u8]
[src]
Return the slice containing the proof section
pub fn index(&self) -> Option<&Index<'_>>
[src]
Return a reference to the optional index section
pub fn visit<V: Visitor<'a>>(
&self,
visitor: &mut V
) -> Result<(), Err<ParseError<'_>>>
[src]
&self,
visitor: &mut V
) -> Result<(), Err<ParseError<'_>>>
Trait Implementations
Auto Trait Implementations
impl<'a> RefUnwindSafe for Mmb<'a>
impl<'a> Send for Mmb<'a>
impl<'a> Sync for Mmb<'a>
impl<'a> Unpin for Mmb<'a>
impl<'a> UnwindSafe for Mmb<'a>
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
pub fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,