[][src]Module rsmt2_zz::example::print_time

A more involved example.

This example showcases print-time user-specified information but lacks a proper discussion, because no one has asked for it yet.

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.