Project

General

Profile

Download (319 Bytes) Statistics
| Branch: | Tag: | Revision:
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
(44-44/66)