lustrec/src/normalization.mli @ 51ec4e8c
| 1 |
type param_t = |
|---|---|
| 2 |
{
|
| 3 |
unfold_arrow_active: bool; |
| 4 |
force_alias_ite: bool; |
| 5 |
force_alias_internal_fun: bool; |
| 6 |
}
|
| 7 |
|
| 8 |
|
| 9 |
val mk_expr_alias_opt: bool -> Lustre_types.node_desc -> (Lustre_types.eq list * Lustre_types.var_decl list)-> Lustre_types.expr -> (Lustre_types.eq list * Lustre_types.var_decl list) * Lustre_types.expr |
| 10 |
val normalize_prog: param_t -> Lustre_types.program_t -> Lustre_types.program_t |