Project

General

Profile

« Previous | Next » 

Revision ca7ff3f7

Added by LĂ©lio Brun 8 months ago

reformatting

View differences:

src/normalization.mli
1 1
open Lustre_types
2 2

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

  
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
16
val normalize_prog : param_t -> program_t -> program_t

Also available in: Unified diff