Revision a7062da6
Added by LĂ©lio Brun over 3 years ago
src/backends/C/c_backend_header.mli | ||
---|---|---|
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 |
Also available in: Unified diff
another step towards refactoring