rsaeb 0.6.0

A no_std + alloc interpreter for A=B ordered rewrite programs.
Documentation
1
2
3
4
5
mod canonical;
mod model;

pub(crate) use canonical::canonical_source;
pub(crate) use model::{Action, ParsedRule, Rule, RuleBody, RuleHead};