lustrec/core/normalization.mli @ 589ccf9f
1 | 589ccf9f | Corentin Lauverjat | open Lustre_types |
---|---|---|---|
2 | |||
3 | type param_t = |
||
4 | {
|
||
5 | unfold_arrow_active: bool; |
||
6 | force_alias_ite: bool; |
||
7 | force_alias_internal_fun: bool; |
||
8 | }
|
||
9 | |||
10 | |||
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 |