Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / normalization.mli @ 5fccce23

History | View | Annotate | Download (403 Bytes)

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