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
59
60
61
62
63
64

//! Auto-generated module structure

pub mod annotationtable_traits;
pub mod arena_traits;
pub mod arenamap_traits;
pub mod arenapool_traits;
pub mod arenastats_traits;
pub mod arenastatsext_traits;
pub mod bimap_traits;
pub mod diagmeta_traits;
pub mod eventcounter_traits;
pub mod frequencytable_traits;
pub mod functions;
pub mod growablearena_traits;
pub mod iddispenser_traits;
pub mod idx_traits;
pub mod idxrange_traits;
pub mod interningarena_traits;
pub mod intervalset_traits;
pub mod lineararena_traits;
pub mod memoryregionregistry_traits;
pub mod memoslot_traits;
pub mod scopedarena_traits;
pub mod scopestack_traits;
pub mod slabarena_traits;
pub mod slot_traits;
pub mod stringinterner_traits;
pub mod typedarena_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 arena_traits::*;
pub use arenamap_traits::*;
pub use arenapool_traits::*;
pub use arenastats_traits::*;
pub use arenastatsext_traits::*;
pub use bimap_traits::*;
pub use diagmeta_traits::*;
pub use eventcounter_traits::*;
pub use frequencytable_traits::*;
pub use functions::*;
pub use growablearena_traits::*;
pub use iddispenser_traits::*;
pub use idx_traits::*;
pub use idxrange_traits::*;
pub use interningarena_traits::*;
pub use intervalset_traits::*;
pub use lineararena_traits::*;
pub use memoryregionregistry_traits::*;
pub use memoslot_traits::*;
pub use scopedarena_traits::*;
pub use scopestack_traits::*;
pub use slabarena_traits::*;
pub use slot_traits::*;
pub use stringinterner_traits::*;
pub use typedarena_traits::*;
pub use typedid_traits::*;
pub use types::*;
pub use workqueue_traits::*;
pub use workstack_traits::*;