Module rsmt2::example

A simple example of using rsmt2.

Modules

simple

A simple example that does not use information during printing.

Structs

Offset	An offset gives the index of current and next step.
Parser	Empty parser structure.
Symbol	A symbol is a variable and an offset.
Unrolled	An unrolled version of something.

Enums

Const	A constant.
SExpr	An S-expression.
Var	A variable wraps a symbol.

Type Definitions

Sym	Under the hood a symbol is a string.