1
|
open Utils
|
2
|
|
3
|
val internal_funs: ident list
|
4
|
val arith_funs: ident list
|
5
|
val bool_funs: ident list
|
6
|
val rel_funs: ident list
|
7
|
val eval_dim_env: (Dimension.dim_desc list -> Dimension.dim_desc) Env.t
|
8
|
val is_homomorphic_fun: ident -> bool
|
9
|
val is_internal_fun: ident -> Types.t list -> bool
|
10
|
val is_expr_internal_fun: Lustre_types.expr -> bool
|
11
|
val is_value_internal_fun: Machine_code_types.value_t -> bool
|
12
|
val is_stateless_fun: ident -> bool
|
13
|
val is_numeric_operator: ident -> bool
|
14
|
|
15
|
val type_env: Types.t Env.t
|
16
|
val clock_env: Clocks.t Env.t
|
17
|
|
18
|
val partial_eval: ident -> Lustre_types.expr -> Lustre_types.expr option -> Lustre_types.expr_desc
|