oxilean-std 0.1.2

OxiLean standard library
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

//! Auto-generated module structure

pub mod abelianvariety_traits;
pub mod berkovichspace_traits;
pub mod chowgroup_traits;
pub mod condensedabeliangroup_traits;
pub mod ellipticcurve_traits;
pub mod functions;
pub mod neronmodel_traits;
pub mod perfectoidfield_traits;
pub mod tatemodule_traits;
pub mod types;

// Re-export all types
pub use abelianvariety_traits::*;
pub use berkovichspace_traits::*;
pub use chowgroup_traits::*;
pub use condensedabeliangroup_traits::*;
pub use ellipticcurve_traits::*;
pub use functions::*;
pub use neronmodel_traits::*;
pub use perfectoidfield_traits::*;
pub use tatemodule_traits::*;
pub use types::*;