1 2 3 4 5 6 7 8 9
//! Flow invariant predicate execution. pub mod executor; pub use executor::{ CheapJudge, CheapJudgeRequest, CheapJudgeResponse, PredicateContext, PredicateExecutionRecord, PredicateExecutionReport, PredicateExecutor, PredicateExecutorConfig, PredicateKind, PredicateRunner, };