Project

General

Profile

Revision 8446bf03 src/pluginType.ml

View differences:

src/pluginType.ml
4 4
  val activate: unit -> unit
5 5
  val options: (string * Arg.spec * string) list
6 6
  val check_force_stateful : unit -> bool
7
  val refine_machine_code: LustreSpec.top_decl list ->
7
  val refine_machine_code: Lustre_types.top_decl list ->
8 8
    Machine_code.machine_t list -> Machine_code.machine_t list
9 9
  val c_backend_main_loop_body_prefix : string -> string -> Format.formatter ->  unit -> unit
10 10
  val c_backend_main_loop_body_suffix : Format.formatter ->  unit -> unit

Also available in: Unified diff