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
25
26
27
28

//! Auto-generated module structure

pub mod balancedbst_traits;
pub mod certifiedbinarysearch_traits;
pub mod certifiedbubblesort_traits;
pub mod certifiedgcd_traits;
pub mod certifiedmergesort_traits;
pub mod complexityproof_traits;
pub mod decreasingmeasure_traits;
pub mod functions;
pub mod interpolationsearch_traits;
pub mod sortedvec_traits;
pub mod terminationcertificate_traits;
pub mod types;

// Re-export all types
pub use balancedbst_traits::*;
pub use certifiedbinarysearch_traits::*;
pub use certifiedbubblesort_traits::*;
pub use certifiedgcd_traits::*;
pub use certifiedmergesort_traits::*;
pub use complexityproof_traits::*;
pub use decreasingmeasure_traits::*;
pub use functions::*;
pub use interpolationsearch_traits::*;
pub use sortedvec_traits::*;
pub use terminationcertificate_traits::*;
pub use types::*;