Expand description
Auto-generated module
🤖 Generated with SplitRS
Structs§
- Config
Node - A hierarchical configuration tree.
- Focus
Stack - A mutable reference stack for tracking the current “focus” in a tree traversal.
- Inductive
Env - Environment extension for inductive types.
- Inductive
Family - A mutually inductive family of types.
- Inductive
Type - An inductive type declaration.
- Inductive
Type Builder - Builder for constructing
InductiveTypedeclarations incrementally. - Inductive
Type Info - Summary information about an inductive type (for display/LSP use).
- Intro
Rule - An introduction rule (constructor) for an inductive type.
- Label
Set - A label set for a graph node.
- NonEmpty
Vec - A non-empty list (at least one element guaranteed).
- Recursor
Builder - A builder for constructing recursor definitions programmatically.
- Simple
Dag - A simple directed acyclic graph.
- Small
Map - A simple key-value store backed by a sorted Vec for small maps.
- Stat
Summary - A generic counter that tracks min/max/sum for statistical summaries.
- Transform
Stat - A pair of
StatSummaryvalues tracking before/after a transformation. - Versioned
Record - A versioned record that stores a history of values.
- Window
Iterator - A window iterator that yields overlapping windows of size
n.
Enums§
- Inductive
Error - Errors that can occur when checking an inductive type definition.