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
17
18
19
20
21
22
23
24
25
26
27
28

//! Auto-generated module structure

pub mod functions;
pub mod gset_traits;
pub mod lamportclock_traits;
pub mod lwwregister_traits;
pub mod messagequeue_traits;
pub mod paxosacceptor_traits;
pub mod snapshotisolationvalidator_traits;
pub mod tlaspec_traits;
pub mod tlastate_traits;
pub mod totalorderbroadcast_traits;
pub mod twopset_traits;
pub mod types;

// Re-export all types
pub use functions::*;
pub use gset_traits::*;
pub use lamportclock_traits::*;
pub use lwwregister_traits::*;
pub use messagequeue_traits::*;
pub use paxosacceptor_traits::*;
pub use snapshotisolationvalidator_traits::*;
pub use tlaspec_traits::*;
pub use tlastate_traits::*;
pub use totalorderbroadcast_traits::*;
pub use twopset_traits::*;
pub use types::*;