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
29
30

//! Auto-generated module structure

pub mod abstractstate_traits;
pub mod assertion_traits;
pub mod cegarloop_traits;
pub mod ctlformula_traits;
pub mod functions;
pub mod heappredicate_traits;
pub mod hoaretriple_traits;
pub mod hoaretripleverifier_traits;
pub mod ltlformula_traits;
pub mod refinementtype_traits;
pub mod securityclassification_traits;
pub mod separationlogicchecker_traits;
pub mod types;

// Re-export all types
pub use abstractstate_traits::*;
pub use assertion_traits::*;
pub use cegarloop_traits::*;
pub use ctlformula_traits::*;
pub use functions::*;
pub use heappredicate_traits::*;
pub use hoaretriple_traits::*;
pub use hoaretripleverifier_traits::*;
pub use ltlformula_traits::*;
pub use refinementtype_traits::*;
pub use securityclassification_traits::*;
pub use separationlogicchecker_traits::*;
pub use types::*;