|
1
|
module type S =
|
|
2
|
sig
|
|
3
|
val name: string
|
|
4
|
val activate: unit -> unit
|
|
5
|
val is_active: unit -> bool
|
|
6
|
val options: (string * Arg.spec * string) list
|
|
7
|
val get_normalization_params: unit -> Normalization.param_t
|
|
8
|
val run: string -> Lustre_types.program_t -> Machine_code_types.machine_t list -> unit
|
|
9
|
end
|
|
10
|
|
|
11
|
module Default =
|
|
12
|
struct
|
|
13
|
|
|
14
|
let get_normalization_params () = {
|
|
15
|
Normalization.unfold_arrow_active = true;
|
|
16
|
force_alias_ite = false;
|
|
17
|
force_alias_internal_fun = false;
|
|
18
|
}
|
|
19
|
|
|
20
|
end
|