Skip to main content

oxilean_codegen/lean4_backend/
mod.rs

1//! Auto-generated module structure
2
3pub mod functions;
4pub mod l4extpassconfig_traits;
5pub mod lean4backend_traits;
6pub mod lean4calcstep_traits;
7pub mod lean4dostmt_traits;
8pub mod lean4expr_traits;
9pub mod lean4file_traits;
10pub mod lean4pattern_traits;
11pub mod lean4type_traits;
12pub mod types;
13
14// Re-export all types
15pub use functions::*;
16pub use l4extpassconfig_traits::*;
17pub use lean4backend_traits::*;
18pub use lean4calcstep_traits::*;
19pub use lean4dostmt_traits::*;
20pub use lean4expr_traits::*;
21pub use lean4file_traits::*;
22pub use lean4pattern_traits::*;
23pub use lean4type_traits::*;
24pub use types::*;