Module smt2parser::concrete

A concrete syntax tree together with building functions (aka parser visitors) and SEXP-printing functions.

Structs

Keyword	Concrete keyword.
Symbol	Concrete symbol.
SyntaxBuilder	An implementation of SMT2Visitor that returns concrete syntax values.

Enums

Command	Concrete syntax for a command.
Constant	Concrete syntax for a constant.
QualIdentifier	Concrete syntax for a qualified-identifier.
SExpr	Concrete syntax for an S-expression.
Sort	Concrete syntax for a sort.
Term	Concrete syntax for a term.

Functions

parse_simple_attribute_value

Parse a single-token attribute value.

Type Definitions

AttributeValue	Concrete crate::visitors::AttributeValue.
DatatypeDec	Concrete crate::visitors::DatatypeDec.
FunctionDec	Concrete crate::visitors::FunctionDec.
Identifier	Concrete identifier.