Expand description
Generate Rust code from a series of Sequences.
Structs§
- Codegen
Options - Options for code generation.
- Prefix
- A path prefix which should be replaced when printing file names.
Functions§
- codegen
- Emit Rust source code for the given type and term environments.