Project

General

Profile

« Previous | Next » 

Revision a7062da6

Added by Lélio Brun over 3 years ago

another step towards refactoring

View differences:

src/machine_code_common.mli
111 111 

  		




  112
  112
  
    
val machine_vars : machine_t -> var_decl list


  		




  113
  113
  
    

  		




  
  114
  
    
val get_machine: machine_t list -> ident -> machine_t


  		




  
  115
  
    

  		




  114
  116
  
    
module PrintSpec : sig


  		




  115
  117
  
    
  val pp_spec :


  		




  116
  118
  
    
    machine_t ->


  		












Also available in:  Unified diff