verilization_compiler/
lib.rs

1//! The Verilization compiler generates serialization code for various languages.
2
3pub mod util;
4pub mod model;
5pub mod lang;
6pub mod parser;
7mod type_check;
8mod model_loader;
9mod verror;
10mod memory_output_handler;
11
12
13pub use memory_output_handler::MemoryOutputHandler;
14pub use model_loader::load_all_models;
15
16pub use verror::VError;
17pub use type_check::TypeCheckError;
18
19#[cfg(not(target_arch = "wasm32"))]
20mod file_output_handler;
21
22#[cfg(not(target_arch = "wasm32"))]
23pub use file_output_handler::FileOutputHandler;
24
25#[cfg(not(target_arch = "wasm32"))]
26pub use model_loader::load_files;
27