Struct mmb_parser::Mmb[−][src]

pub struct Mmb<'a> {
    pub file: &'a [u8],
    pub version: u8,
    pub num_sorts: u8,
    pub num_terms: u32,
    pub num_theorems: u32,
    pub sorts: &'a [u8],
    pub terms: &'a [u8],
    pub theorems: &'a [u8],
    pub proofs: &'a [u8],
    pub sort_index: &'a [u8],
    pub term_index: &'a [u8],
    pub theorem_index: &'a [u8],
}

Fields

file: &'a [u8]version: u8num_sorts: u8num_terms: u32num_theorems: u32sorts: &'a [u8]terms: &'a [u8]theorems: &'a [u8]proofs: &'a [u8]sort_index: &'a [u8]term_index: &'a [u8]theorem_index: &'a [u8]

Implementations

impl<'a> Mmb<'a>[src]

pub fn from(file: &'a [u8]) -> Option<Mmb<'a>>[src]

pub fn visit_sort_index<V: Visitor>(&self, visitor: &mut V)[src]

pub fn visit_term_index<V: Visitor>(&self, visitor: &mut V)[src]

pub fn visit_theorem_index<V: Visitor>(&self, visitor: &mut V)[src]

pub fn visit<V: Visitor<'a>>(
    &self,
    visitor: &mut V
) -> Result<(), Err<ParseError<'_>>>[src]

Trait Implementations

impl<'a> Debug for Mmb<'a>[src]

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]

impl<T> Borrow<T> for T where
    T: ?Sized, [src]

impl<T> BorrowMut<T> for T where
    T: ?Sized, [src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, [src]

impl<T, U> TryFrom<U> for T where
    U: Into<T>, [src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, [src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.