Project

General

Profile

Download (321 Bytes) Statistics
| Branch: | Tag: | Revision:
1
open Lustre_types
2

    
3
type param_t = {
4
  unfold_arrow_active : bool;
5
  force_alias_ite : bool;
6
  force_alias_internal_fun : bool;
7
}
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
15

    
16
val normalize_prog : param_t -> program_t -> program_t
(44-44/66)