lex_bytecode/
lib.rs

1//! M4: bytecode definition, compiler, VM (pure subset). See spec §8.
2
3pub mod op;
4pub mod program;
5pub mod value;
6pub mod shape_registry;
7pub mod compiler;
8pub mod conc_registry;
9pub mod parser_runtime;
10pub mod vm;
11pub mod verify;
12pub mod escape;
13pub mod arena;
14
15pub use compiler::compile_program;
16pub use op::{Const, Op};
17pub use program::{Function, Program};
18pub use value::{MapKey, Value};
19pub use vm::{Vm, VmError, MAX_CALL_DEPTH};
20pub use verify::{verify_program, StackError};
21pub use escape::{analyze_program as analyze_escapes, EscapeReport, EscapeSite, Policy, SiteKind};
22pub use arena::{
23    analyze_program as analyze_arena, build_arena_index, ArenaReport, ArenaSite,
24};
lex_bytecode/lib.rs

lex_bytecode/
lib.rs
