Revision a7062da6
Added by LĂ©lio Brun over 3 years ago
src/basic_library.mli | ||
---|---|---|
10 | 10 |
val is_expr_internal_fun: Lustre_types.expr -> bool |
11 | 11 |
val is_value_internal_fun: Machine_code_types.value_t -> bool |
12 | 12 |
val is_stateless_fun: ident -> bool |
13 |
val is_numeric_operator: ident -> bool |
|
13 | 14 |
|
14 | 15 |
val type_env: Types.t Env.t |
15 | 16 |
val clock_env: Clocks.t Env.t |
Also available in: Unified diff
another step towards refactoring