Project

General

Profile

Download (534 Bytes) Statistics
| Branch: | Tag: | Revision:
1
module type S = sig
2
  val name : string
3

    
4
  val activate : unit -> unit
5

    
6
  val is_active : unit -> bool
7

    
8
  val options : (string * Arg.spec * string) list
9

    
10
  val get_normalization_params : unit -> Normalization.param_t
11

    
12
  val run :
13
    basename:string ->
14
    Lustre_types.program_t ->
15
    Machine_code_types.machine_t list ->
16
    unit
17
end
18

    
19
module Default = struct
20
  let get_normalization_params () =
21
    {
22
      Normalization.unfold_arrow_active = true;
23
      force_alias_ite = false;
24
      force_alias_internal_fun = false;
25
    }
26
end
(64-64/66)