Expand description
Canonical type definitions for the Nibli pipeline.
These types replace the auto-generated WIT bindings that were previously duplicated across nibli-kr, nibli-semantics, and nibli-reason. All crates share one copy.
Re-exports§
pub use arithmetic::eval_arithmetic;
Modules§
- arithmetic
- Built-in arithmetic for the engine’s three native compute predicates.
- ast
- AST types produced by the nibli-kr emitter — the INTERNAL interchange between the front-end and the semantic compiler, NOT a WIT boundary.
- error
- Structured error types shared across the pipeline.
- logic
- First-Order Logic types produced by the nibli-semantics compiler and consumed by nibli-reason.
- relations
- Reserved/special relation names — the SINGLE SOURCE.