Type Definition smt2parser::concrete::FunctionDec [−][src]
type FunctionDec = FunctionDec<Symbol, Sort>;
Expand description
Concrete crate::visitors::FunctionDec
.
type FunctionDec = FunctionDec<Symbol, Sort>;
Concrete crate::visitors::FunctionDec
.