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
45
46
47
48
49
50
51
52
53
54
55
56
57
58

//! Auto-generated module structure

pub mod annotationtable_traits;
pub mod bimap_traits;
pub mod diagmeta_traits;
pub mod eventcounter_traits;
pub mod frequencytable_traits;
pub mod functions;
pub mod iddispenser_traits;
pub mod intervalset_traits;
pub mod memoslot_traits;
pub mod name_traits;
pub mod namemap_traits;
pub mod namemapping_traits;
pub mod namepool_traits;
pub mod nameresolver_traits;
pub mod nameset_traits;
pub mod namesetext_traits;
pub mod nametrie_traits;
pub mod nametrieext_traits;
pub mod qualifiedname_traits;
pub mod qualifiednameext_traits;
pub mod scopestack_traits;
pub mod slot_traits;
pub mod stringinterner_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 eventcounter_traits::*;
pub use frequencytable_traits::*;
pub use functions::*;
pub use iddispenser_traits::*;
pub use intervalset_traits::*;
pub use memoslot_traits::*;
pub use name_traits::*;
pub use namemap_traits::*;
pub use namemapping_traits::*;
pub use namepool_traits::*;
pub use nameresolver_traits::*;
pub use nameset_traits::*;
pub use namesetext_traits::*;
pub use nametrie_traits::*;
pub use nametrieext_traits::*;
pub use qualifiedname_traits::*;
pub use qualifiednameext_traits::*;
pub use scopestack_traits::*;
pub use slot_traits::*;
pub use stringinterner_traits::*;
pub use typedid_traits::*;
pub use types::*;
pub use workqueue_traits::*;
pub use workstack_traits::*;