lustrec/src/normalization.mli @ 325f07c0
1 |
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 |