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