Project

General

Profile

Revision 0038002e src/backends/C/c_backend_makefile.ml

View differences:

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