Module rsmt2::example::simple [] [src]

A simple example that does not use information during printing.

Structs

Parser

Empty parser structure, we will not maintain any context.

Enums

Cst

A constant.

Expr

An example of expression.

Op

Operators. Just implements Display, never manipulated directly by the solver.