solverforge_core/wasm/
mod.rs

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