solverforge_core/wasm/
mod.rs

1mod expression;
2mod generator;
3mod host_functions;
4mod memory;
5
6pub use expression::{Expr, Expression, FieldAccessExt, WasmFieldType};
7pub use generator::{PredicateDefinition, WasmModuleBuilder};
8pub use host_functions::{HostFunctionDef, HostFunctionRegistry, WasmType};
9pub use memory::{FieldLayout, LayoutCalculator, MemoryLayout, WasmMemoryType};
10
11// Re-export wasm_encoder::ValType for use in predicate parameter type specifications
12pub use wasm_encoder::ValType;