meerkat-machine-kernels 0.5.2

Generated execution kernels and contract helpers for Meerkat state machines
Documentation 
1
2
3
4
5
6
7

pub mod generated;
mod runtime;

pub use runtime::{
    GeneratedMachineKernel, KernelEffect, KernelInput, KernelState, KernelValue, TransitionOutcome,
    TransitionRefusal,
};