Project

General

Profile

Download (321 Bytes) Statistics
| Branch: | Tag: | Revision:
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