Expand description
Auto-generated module
🤖 Generated with SplitRS
Structs§
- Cost
Model - A cost model for estimating runtime cost.
- Definition
Site - Records the site where a variable is defined.
- Free
VarCollector - Collector that finds all free variables in an LCNF expression.
- LcnfAlt
- A case alternative (branch) in LCNF.
- Lcnf
Builder - A builder for constructing LCNF expressions incrementally.
- Lcnf
Extern Decl - An external (axiom/opaque) declaration.
- Lcnf
FunDecl - A top-level function declaration in LCNF.
- Lcnf
Module - An LCNF module — a collection of declarations.
- Lcnf
Module Metadata - Metadata about an LCNF module.
- Lcnf
Param - A parameter declaration in LCNF.
- Lcnf
VarId - A unique variable identifier in LCNF.
- Pretty
Config - Configuration for pretty-printing LCNF.
- Substitution
- A mapping from variable IDs to replacement arguments.
- Usage
Counter - Counts how many times each variable is used (referenced).
Enums§
- LcnfArg
- An argument to a function call or constructor in LCNF.
- Lcnf
Expr - Core LCNF expression in administrative normal form.
- Lcnf
LetValue - A let-bound value in LCNF.
- LcnfLit
- Literal values in LCNF.
- Lcnf
Type - LCNF type representation.
- Validation
Error - Errors that can occur when validating LCNF.