Project

General

Profile

Download (887 Bytes) Statistics
| Branch: | Tag: | Revision:
1
module type S =
2
  sig
3
    val name : string
4
    val activate : unit -> unit
5
    val usage : Format.formatter -> unit
6
    val options : (string * Arg.spec * string) list
7
    val init : unit -> unit
8
    val check_force_stateful : unit -> bool
9
    val refine_machine_code :
10
      Lustre_types.top_decl list ->
11
      Machine_code_types.machine_t list -> Machine_code_types.machine_t list
12
    val c_backend_main_loop_body_prefix :
13
      string -> string -> Format.formatter -> unit -> unit
14
    val c_backend_main_loop_body_suffix : Format.formatter -> unit -> unit
15
  end
16
module Default :
17
  sig
18
    val usage : Format.formatter -> unit
19
    val init : unit -> unit
20
    val check_force_stateful : unit -> bool
21
    val refine_machine_code : 'a -> 'b -> 'b
22
    val c_backend_main_loop_body_prefix : 'a -> 'b -> 'c -> unit -> unit
23
    val c_backend_main_loop_body_suffix : 'a -> unit -> unit
24
  end
(37-37/49)