Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / normalization.mli @ 95944ba1

History | View | Annotate | Download (319 Bytes)

1
open Lustre_types
2

    
3
type param_t =
4
  {
5
    unfold_arrow_active: bool;
6
    force_alias_ite: bool;
7
    force_alias_internal_fun: bool;
8
  }
9

    
10

    
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