Skip to main content

litex/builtin_code/
mod.rs

1pub mod common_comparison_properties;
2pub mod common_facts;
3pub mod common_functions;
4pub mod fundamental_comparison;
5pub mod fundamental_number_properties;
6pub mod set_operators;
7
8fn concat_builtin_env_lit_fragments() -> String {
9    let mut out = String::new();
10    out.push_str(fundamental_comparison::BUILTIN_ENV_CODE_FOR_FUNDAMENTAL_COMPARISON);
11    out.push_str(common_comparison_properties::KNOW_REAL_LINE_TRICHOTOMY);
12    out.push_str(common_comparison_properties::ORDER_TRANSITIVITY_PROP_DECLS);
13    out.push_str(common_comparison_properties::KNOW_ORDER_TRANSITIVITY_CHAIN);
14    out.push_str(common_comparison_properties::BUILTIN_ENV_CODE_FOR_COMMON_COMPARISON_PROPERTIES);
15    out.push_str(common_functions::BUILTIN_ENV_CODE_FOR_COMMON_FUNCTIONS);
16    out.push_str(common_facts::COMMON_FACTS);
17    out.push_str(fundamental_number_properties::FUNDAMENTAL_NUMBER_PROPERTIES);
18    out.push_str(set_operators::BUILTIN_ENV_CODE_FOR_SET_OPERATORS);
19    out
20}
21
22pub fn builtin_code() -> String {
23    concat_builtin_env_lit_fragments()
24}