nibli_types/lib.rs
1//! Canonical type definitions for the Nibli pipeline.
2//!
3//! These types replace the auto-generated WIT bindings that were previously
4//! duplicated across nibli-kr, nibli-semantics, and nibli-reason. All crates share one copy.
5
6pub mod arithmetic;
7pub mod ast;
8pub mod error;
9pub mod logic;
10pub mod relations;
11
12pub use arithmetic::eval_arithmetic;