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
- Interval
- A temporal interval
@[start, end], inclusive on both endpoints. A point interval@[T]is represented asstart == end. - Predicate
Index - Predicate
Sym - Transform
Stmt - Unit
- Variable
Index
Enums§
- Base
Term - Const
- Temporal
Bound - A bound in a temporal interval.
- Term