Trait smt2parser::visitors::SortVisitor [−][src]
pub trait SortVisitor<Symbol> {
type T;
type E;
fn visit_simple_sort(
&mut self,
identifier: Identifier<Symbol>
) -> Result<Self::T, Self::E>;
fn visit_parameterized_sort(
&mut self,
identifier: Identifier<Symbol>,
parameters: Vec<Self::T>
) -> Result<Self::T, Self::E>;
}