Project

General

Profile

« Previous | Next » 

Revision a7062da6

Added by LĂ©lio Brun over 3 years ago

another step towards refactoring

View differences:

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