conjure_core/rules/normalisers/
mod.rs

1//! Normalisers are rules that take an expression towards a normal or canonical form.
2
3mod associative_commutative;
4mod bool;
5mod eq_neq;
6mod lt_gt;
7mod neg_minus;
8mod product;
9mod sum;
10mod weighted_sums;