Project

General

Profile

Download (629 Bytes) Statistics
| Branch: | Tag: | Revision:
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
(11-11/111)