Module codegen 

Provides CodeGenerator, a trait for code generation.

Also provides two code generators in submodules:

• sexpr::SExprCodeGen
• smt::Z3CodeGen

Modules

sexpr

S-expression code generator.

smt

SMT code generator.

Structs

Term

A partially generated term.

Enums

TermOp

A term in the code generator

Traits

CodeGenerator

A code generator that can generate code for computations.

Functions

codegen_computation

Generates code for a computation.

codegen_template

Generates code for an expression template.