| 1 |
ad4774b0
|
ploc
|
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 |
7a4fd94d
|
ploc
|
val run: basename:string -> Lustre_types.program_t -> Machine_code_types.machine_t list -> unit
|
| 9 |
ad4774b0
|
ploc
|
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
|