Project

General

Profile

Download (511 Bytes) Statistics
| Branch: | Tag: | Revision:
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
(8-8/18)