Project

General

Profile

Revision 2fb97ad4 src/normalization.mli

View differences:

src/normalization.mli
1
type param_t =
2
  {
3
    unfold_arrow_active: bool;
4
    force_alias_ite: bool;
5
    force_alias_internal_fun: bool;
6
  }
7

  
8

  
1 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
2
val normalize_prog: ?backend:string -> Lustre_types.program -> Lustre_types.program
10
val normalize_prog: param_t -> Lustre_types.program_t -> Lustre_types.program_t

Also available in: Unified diff