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