lustrec/src/normalization.mli @ 820616b1
| 1 | 95944ba1 | ploc | open Lustre_types |
|---|---|---|---|
| 2 | |||
| 3 | 2fb97ad4 | ploc | type param_t = |
| 4 | {
|
||
| 5 | unfold_arrow_active: bool; |
||
| 6 | force_alias_ite: bool; |
||
| 7 | force_alias_internal_fun: bool; |
||
| 8 | }
|
||
| 9 | |||
| 10 | |||
| 11 | 95944ba1 | ploc | 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 |