tx3_tir/lib.rs
1pub mod compile;
2pub mod encoding;
3pub mod model;
4pub mod reduce;
5
6pub trait Visitor {
7 fn reduce(
8 &mut self,
9 expr: model::v1beta0::Expression,
10 ) -> Result<model::v1beta0::Expression, crate::reduce::Error>;
11}
12
13pub trait Node: Sized {
14 fn apply<V: Visitor>(self, visitor: &mut V) -> Result<Self, crate::reduce::Error>;
15}