Re-exports§
pub use pretty::PrettyPrint;
Modules§
Structs§
- Arena
- Atom
- Bound
Decl - Clause
- Constraints
- Decl
- Function
Index - Function
Sym - Interner
- A simple way to intern strings and refer to them using u32 indices. This is following the blog post here: https://matklad.github.io/2020/03/22/fast-simple-rust-interner.html
- Predicate
Index - Predicate
Sym - Transform
Stmt - Unit
- Variable
Index