lustrec/src/normalization.mli @ 0406ab94
| 1 | 95944ba1 | ploc | open Lustre_types |
|---|---|---|---|
| 2 | |||
| 3 | ca7ff3f7 | Lélio Brun | type param_t = { |
| 4 | unfold_arrow_active : bool; |
||
| 5 | force_alias_ite : bool; |
||
| 6 | force_alias_internal_fun : bool; |
||
| 7 | }
|
||
| 8 | 2fb97ad4 | ploc | |
| 9 | ca7ff3f7 | Lélio Brun | 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 | 2fb97ad4 | ploc | |
| 16 | ca7ff3f7 | Lélio Brun | val normalize_prog : param_t -> program_t -> program_t |