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 |