oxilean-kernel 0.1.2

OxiLean kernel - The trusted computing base for type checking
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
29
30
31
32
33
34
35
36
37
38
39
40

//! Auto-generated module structure

pub mod etacanonmap_traits;
pub mod etacategorizer_traits;
pub mod etachangelog_traits;
pub mod etadepthtracker_traits;
pub mod etagraph_traits;
pub mod etalongchecker_traits;
pub mod etanormalizationpass_traits;
pub mod etapassresult_traits;
pub mod etaredexcollector_traits;
pub mod etastatemachine_traits;
pub mod functions;
pub mod injectivitychecker_traits;
pub mod kreductiontable_traits;
pub mod projectionrewriteset_traits;
pub mod recordupdatebatch_traits;
pub mod structflatteningpass_traits;
pub mod structureregistry_traits;
pub mod types;

// Re-export all types
pub use etacanonmap_traits::*;
pub use etacategorizer_traits::*;
pub use etachangelog_traits::*;
pub use etadepthtracker_traits::*;
pub use etagraph_traits::*;
pub use etalongchecker_traits::*;
pub use etanormalizationpass_traits::*;
pub use etapassresult_traits::*;
pub use etaredexcollector_traits::*;
pub use etastatemachine_traits::*;
pub use functions::*;
pub use injectivitychecker_traits::*;
pub use kreductiontable_traits::*;
pub use projectionrewriteset_traits::*;
pub use recordupdatebatch_traits::*;
pub use structflatteningpass_traits::*;
pub use structureregistry_traits::*;
pub use types::*;