Skip to main content

litex/runtime/builtin_code/
mod.rs

1pub mod builtin_families;
2pub mod common_functions;
3pub mod comparison;
4pub mod real_line_order;
5pub mod set_operators;
6
7fn concat_builtin_env_lit_fragments() -> String {
8    let mut out = String::new();
9    out.push_str(real_line_order::KNOW_REAL_LINE_TRICHOTOMY);
10    out.push_str(real_line_order::ORDER_TRANSITIVITY_PROP_DECLS);
11    out.push_str(real_line_order::KNOW_ORDER_TRANSITIVITY_CHAIN);
12    out.push_str(comparison::BUILTIN_ENV_CODE_FOR_REAL_ARITHMETIC_ORDER_CLOSURE);
13    out.push_str(common_functions::BUILTIN_ENV_CODE_FOR_COMMON_FUNCTIONS);
14    out.push_str(builtin_families::BUILTIN_ENV_CODE_FOR_BUILTIN_FAMILIES);
15    out.push_str(set_operators::BUILTIN_ENV_CODE_FOR_SET_OPERATORS);
16    out
17}
18
19pub fn builtin_code() -> String {
20    concat_builtin_env_lit_fragments()
21}