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
41
42
43
44

//! Auto-generated module structure

pub mod annotationtable_traits;
pub mod bimap_traits;
pub mod diagmeta_traits;
pub mod equivmanager_traits;
pub mod equivmanagerstats_traits;
pub mod eventcounter_traits;
pub mod exprequivcache_traits;
pub mod frequencytable_traits;
pub mod functions;
pub mod iddispenser_traits;
pub mod intervalset_traits;
pub mod memoslot_traits;
pub mod scopestack_traits;
pub mod slot_traits;
pub mod stringinterner_traits;
pub mod symmetricrelation_traits;
pub mod typedid_traits;
pub mod types;
pub mod workqueue_traits;
pub mod workstack_traits;

// Re-export all types
pub use annotationtable_traits::*;
pub use bimap_traits::*;
pub use diagmeta_traits::*;
pub use equivmanager_traits::*;
pub use equivmanagerstats_traits::*;
pub use eventcounter_traits::*;
pub use exprequivcache_traits::*;
pub use frequencytable_traits::*;
pub use functions::*;
pub use iddispenser_traits::*;
pub use intervalset_traits::*;
pub use memoslot_traits::*;
pub use scopestack_traits::*;
pub use slot_traits::*;
pub use stringinterner_traits::*;
pub use symmetricrelation_traits::*;
pub use typedid_traits::*;
pub use types::*;
pub use workqueue_traits::*;
pub use workstack_traits::*;