Skip to main content

oxilean_std/arithmetic_geometry/
mod.rs

1//! Auto-generated module structure
2
3pub mod abelianvariety_traits;
4pub mod berkovichspace_traits;
5pub mod chowgroup_traits;
6pub mod condensedabeliangroup_traits;
7pub mod ellipticcurve_traits;
8pub mod functions;
9pub mod neronmodel_traits;
10pub mod perfectoidfield_traits;
11pub mod tatemodule_traits;
12pub mod types;
13
14// Re-export all types
15pub use abelianvariety_traits::*;
16pub use berkovichspace_traits::*;
17pub use chowgroup_traits::*;
18pub use condensedabeliangroup_traits::*;
19pub use ellipticcurve_traits::*;
20pub use functions::*;
21pub use neronmodel_traits::*;
22pub use perfectoidfield_traits::*;
23pub use tatemodule_traits::*;
24pub use types::*;