Trait Visitor 

pub trait Visitor<'a> {
    type Binder: From<u64>;
    type Sort: From<u8>;
    type Statement: From<Statement>;
    type Unify: UnifyStream;
    type Proof: ProofStream;

    // Required methods
    fn parse_sort(&mut self, sort: Self::Sort);
    fn parse_statement(
        &mut self,
        statement: Self::Statement,
        offset: usize,
        slice: &'a [u8],
        proof: Option<(usize, usize)>,
    );
    fn try_reserve_binder_slice(
        &mut self,
        nr: usize,
    ) -> Option<(&mut [Self::Binder], usize)>;
    fn start_unify_stream(&mut self) -> &mut Self::Unify;
    fn start_proof_stream(&mut self) -> &mut Self::Proof;
    fn parse_term(
        &mut self,
        sort_idx: u8,
        binders: (usize, usize),
        ret_ty: Self::Binder,
        unify: &'a [u8],
        unify_indices: (usize, usize),
    );
    fn parse_theorem(
        &mut self,
        binders: (usize, usize),
        unify: &'a [u8],
        unify_indices: (usize, usize),
    );
}

Required Associated Types

type Binder: From<u64>

type Sort: From<u8>

type Statement: From<Statement>

type Unify: UnifyStream

type Proof: ProofStream

Required Methods

fn parse_sort(&mut self, sort: Self::Sort)

fn parse_statement( &mut self, statement: Self::Statement, offset: usize, slice: &'a [u8], proof: Option<(usize, usize)>, )

fn try_reserve_binder_slice( &mut self, nr: usize, ) -> Option<(&mut [Self::Binder], usize)>

fn start_unify_stream(&mut self) -> &mut Self::Unify

fn start_proof_stream(&mut self) -> &mut Self::Proof

fn parse_term( &mut self, sort_idx: u8, binders: (usize, usize), ret_ty: Self::Binder, unify: &'a [u8], unify_indices: (usize, usize), )

fn parse_theorem( &mut self, binders: (usize, usize), unify: &'a [u8], unify_indices: (usize, usize), )

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors