Skip to main content

oxilean_codegen/agda_backend/
mod.rs

1//! Auto-generated module structure
2
3pub mod agdaextpassconfig_traits;
4pub mod agdapattern_traits;
5pub mod agdax2passconfig_traits;
6pub mod functions;
7pub mod types;
8
9// Re-export all types
10pub use agdaextpassconfig_traits::*;
11pub use agdapattern_traits::*;
12pub use agdax2passconfig_traits::*;
13pub use functions::*;
14pub use types::*;