Project

General

Profile

Download (433 Bytes) Statistics
| Branch: | Tag: | Revision:
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 :
9
      basename:string ->
10
      Lustre_types.program_t -> Machine_code_types.machine_t list -> unit
11
  end
12
module Default :
13
  sig val get_normalization_params : unit -> Normalization.param_t end
(48-48/49)