Revision 0038002e src/backends/C/c_backend_makefile.ml
src/backends/C/c_backend_makefile.ml | ||
---|---|---|
1 | 1 |
open Format |
2 |
open LustreSpec |
|
2 | 3 |
open Corelang |
3 | 4 |
|
4 | 5 |
let header_has_code header = |
... | ... | |
40 | 41 |
|
41 | 42 |
module type MODIFIERS_MKF = |
42 | 43 |
sig |
43 |
val other_targets: Format.formatter -> string -> string -> (string * bool * Corelang.top_decl list) list -> unit
|
|
44 |
val other_targets: Format.formatter -> string -> string -> (string * bool * top_decl list) list -> unit |
|
44 | 45 |
end |
45 | 46 |
|
46 | 47 |
module EmptyMod = |
Also available in: Unified diff