lustrec/src/normalization.mli @ ca7ff3f7
1 |
open Lustre_types |
---|---|
2 |
|
3 |
type param_t = { |
4 |
unfold_arrow_active : bool; |
5 |
force_alias_ite : bool; |
6 |
force_alias_internal_fun : bool; |
7 |
}
|
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 |
15 |
|
16 |
val normalize_prog : param_t -> program_t -> program_t |