Revision ca7ff3f7
Added by Lélio Brun over 1 year ago
src/normalization.mli | ||
---|---|---|
1 | 1 |
open Lustre_types |
2 | 2 |
|
3 |
type param_t = |
|
4 |
{ |
|
5 |
unfold_arrow_active: bool; |
|
6 |
force_alias_ite: bool; |
|
7 |
force_alias_internal_fun: bool; |
|
8 |
} |
|
3 |
type param_t = { |
|
4 |
unfold_arrow_active : bool; |
|
5 |
force_alias_ite : bool; |
|
6 |
force_alias_internal_fun : bool; |
|
7 |
} |
|
9 | 8 |
|
9 |
val mk_expr_alias_opt : |
|
10 |
bool -> |
|
11 |
ident * var_decl list -> |
|
12 |
eq list * var_decl list -> |
|
13 |
expr -> |
|
14 |
(eq list * var_decl list) * expr |
|
10 | 15 |
|
11 |
val mk_expr_alias_opt: bool -> (ident * var_decl list) -> (eq list * var_decl list)-> expr -> (eq list * var_decl list) * expr |
|
12 |
val normalize_prog: param_t -> program_t -> program_t |
|
16 |
val normalize_prog : param_t -> program_t -> program_t |
Also available in: Unified diff
reformatting