oxilean-codegen 0.1.2

OxiLean code generator - LCNF-based compilation and optimization
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

//! Auto-generated module structure

pub mod functions;
pub mod l4extpassconfig_traits;
pub mod lean4backend_traits;
pub mod lean4calcstep_traits;
pub mod lean4dostmt_traits;
pub mod lean4expr_traits;
pub mod lean4file_traits;
pub mod lean4pattern_traits;
pub mod lean4type_traits;
pub mod types;

// Re-export all types
pub use functions::*;
pub use l4extpassconfig_traits::*;
pub use lean4backend_traits::*;
pub use lean4calcstep_traits::*;
pub use lean4dostmt_traits::*;
pub use lean4expr_traits::*;
pub use lean4file_traits::*;
pub use lean4pattern_traits::*;
pub use lean4type_traits::*;
pub use types::*;