rsaeb 0.9.0

A no_std + alloc interpreter for A=B ordered rewrite programs.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

/// Matched-rule application and step effects.
pub(crate) mod action;
/// Runtime budget tracking and step permits.
pub(crate) mod budget;
/// Rule-table scanning and match witnesses.
pub(crate) mod matcher;
/// Per-run `(once)` rule state.
pub(crate) mod once;
/// Rewrite scratch storage.
pub(crate) mod rewrite;
/// Mutable runtime state and matching logic.
pub(crate) mod state;

#[cfg(test)]
mod tests;