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_main.mli
1 
open Format
2 
open Lustre_types
3 
open Machine_code_types
4 

  		




  
  5
  
    
module type MODIFIERS_MAINSRC = sig end


  		




  
  6
  
    

  		




  
  7
  
    
module EmptyMod: MODIFIERS_MAINSRC


  		




  
  8
  
    

  		




  
  9
  
    
module Main (Mod : MODIFIERS_MAINSRC) : sig


  		




  
  10
  
    
    val print_main_c: formatter -> machine_t -> string -> program_t -> machine_t list -> dep_t list -> unit


  		




  
  11
  
    
end


  		












Also available in:  Unified diff