Project

General

Profile

Revision 95944ba1 src/normalization.mli

View differences:

src/normalization.mli
1
open Lustre_types
2

  
1 3
type param_t =
2 4
  {
3 5
    unfold_arrow_active: bool;
......
6 8
  }
7 9

  
8 10

  
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
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

Also available in: Unified diff