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

//! Auto-generated module structure

pub mod alphaequivalencechecker_traits;
pub mod functions;
pub mod lineartypechecker_traits;
pub mod sessiontypecompatibility_traits;
pub mod typeinferencesystem_traits;
pub mod types;

// Re-export all types
pub use alphaequivalencechecker_traits::*;
pub use functions::*;
pub use lineartypechecker_traits::*;
pub use sessiontypecompatibility_traits::*;
pub use typeinferencesystem_traits::*;
pub use types::*;