nibli-types 0.1.0

Canonical type definitions shared across the pipeline
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12

//! 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.

pub mod arithmetic;
pub mod ast;
pub mod error;
pub mod logic;
pub mod relations;

pub use arithmetic::eval_arithmetic;