rsaeb 0.5.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

use crate::program::StepCount;
use crate::rule::{PayloadView, Rule};

#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub(super) enum ExecutionTerminal<'program> {
    Running,
    Stable,
    Return {
        step: StepCount,
        rule: &'program Rule,
        output: PayloadView<'program>,
    },
}