Project

General

Profile

Download (634 Bytes) Statistics
| Branch: | Tag: | Revision:
1 a7062da6 Lélio Brun
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 cc852504 Lélio Brun
9 d978c46e Lélio Brun
  val pp_machine_decl_prefix : formatter -> machine_t -> unit
10
11 18dada08 Lélio Brun
  val pp_predicates : formatter -> machine_t list -> unit
12 cc852504 Lélio Brun
13
  val pp_import_arrow : formatter -> unit -> unit
14 d978c46e Lélio Brun
15
  val pp_machine_alloc_decl : formatter -> machine_t -> unit
16 a7062da6 Lélio Brun
end
17
18
module EmptyMod : MODIFIERS_HDR
19
20
module Main (Mod : MODIFIERS_HDR) : sig
21 d978c46e Lélio Brun
  val pp_header_from_header : formatter -> string -> top_decl list -> unit
22 cc852504 Lélio Brun
23 d978c46e Lélio Brun
  val pp_alloc_header :
24 cc852504 Lélio Brun
    formatter -> string -> machine_t list -> dep_t list -> unit
25 a7062da6 Lélio Brun
end