Revision ca7ff3f7
Added by Lélio Brun 8 months ago
| src/normalization.mli | ||
|---|---|---|
| 1 | 1 |
open Lustre_types |
| 2 | 2 |
|
| 3 |
type param_t = |
|
| 4 |
{
|
|
| 5 |
unfold_arrow_active: bool; |
|
| 6 |
force_alias_ite: bool; |
|
| 7 |
force_alias_internal_fun: bool; |
|
| 8 |
} |
|
| 3 |
type param_t = {
|
|
| 4 |
unfold_arrow_active : bool; |
|
| 5 |
force_alias_ite : bool; |
|
| 6 |
force_alias_internal_fun : bool; |
|
| 7 |
} |
|
| 9 | 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 |
|
| 10 | 15 |
|
| 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 |
|
| 16 |
val normalize_prog : param_t -> program_t -> program_t |
|
Also available in: Unified diff
reformatting