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
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
65
66
67
68

//! Auto-generated module structure

pub mod coqattribute_traits;
pub mod coqclassdef_traits;
pub mod coqcodestats_traits;
pub mod coqcompute_traits;
pub mod coqdiag_traits;
pub mod coqevalcmd_traits;
pub mod coqexample_traits;
pub mod coqextconfig_traits;
pub mod coqextemitstats_traits;
pub mod coqextraction_traits;
pub mod coqfixpointdef_traits;
pub mod coqhint_traits;
pub mod coqhypothesis_traits;
pub mod coqimport_traits;
pub mod coqinductivedef_traits;
pub mod coqinstancedef_traits;
pub mod coqletdef_traits;
pub mod coqltacdef_traits;
pub mod coqmoduledef_traits;
pub mod coqnotation_traits;
pub mod coqobligation_traits;
pub mod coqrecorddef_traits;
pub mod coqsectionvar_traits;
pub mod coqsolveobligations_traits;
pub mod coqsort_traits;
pub mod coqtacticext_traits;
pub mod coqtacticnotation_traits;
pub mod coquniverse_traits;
pub mod coqversion_traits;
pub mod coqwhere_traits;
pub mod functions;
pub mod types;

// Re-export all types
pub use coqattribute_traits::*;
pub use coqclassdef_traits::*;
pub use coqcodestats_traits::*;
pub use coqcompute_traits::*;
pub use coqdiag_traits::*;
pub use coqevalcmd_traits::*;
pub use coqexample_traits::*;
pub use coqextconfig_traits::*;
pub use coqextemitstats_traits::*;
pub use coqextraction_traits::*;
pub use coqfixpointdef_traits::*;
pub use coqhint_traits::*;
pub use coqhypothesis_traits::*;
pub use coqimport_traits::*;
pub use coqinductivedef_traits::*;
pub use coqinstancedef_traits::*;
pub use coqletdef_traits::*;
pub use coqltacdef_traits::*;
pub use coqmoduledef_traits::*;
pub use coqnotation_traits::*;
pub use coqobligation_traits::*;
pub use coqrecorddef_traits::*;
pub use coqsectionvar_traits::*;
pub use coqsolveobligations_traits::*;
pub use coqsort_traits::*;
pub use coqtacticext_traits::*;
pub use coqtacticnotation_traits::*;
pub use coquniverse_traits::*;
pub use coqversion_traits::*;
pub use coqwhere_traits::*;
pub use functions::*;
pub use types::*;