1
|
open Format
|
2
|
open Lustre_types
|
3
|
open Machine_code_types
|
4
|
open C_backend_common
|
5
|
|
6
|
module type MODIFIERS_HDR = sig
|
7
|
module GhostProto : MODIFIERS_GHOST_PROTO
|
8
|
val print_machine_decl_prefix: formatter -> machine_t -> unit
|
9
|
val pp_import_arrow: formatter -> unit -> unit
|
10
|
end
|
11
|
|
12
|
module EmptyMod : MODIFIERS_HDR
|
13
|
|
14
|
module Main (Mod : MODIFIERS_HDR) : sig
|
15
|
val print_header_from_header: formatter -> string -> top_decl list -> unit
|
16
|
val print_alloc_header: formatter -> string -> machine_t list -> dep_t list -> unit
|
17
|
end
|