Project

General

Profile

« Previous | Next » 

Revision 1b683c9a

Added by Pierre-Loïc Garoche about 5 years ago

Cleaned horrible ocaml practice (optional parameters and mli issues)

View differences:

src/corelang.mli
32 32 
val mktop: top_decl_desc -> top_decl
33 33 

  		




  34
  34
  
    
(* constructor for machine types *)


  		




  35
  
  
    
val mkinstr: ?lustre_expr:expr option -> ?lustre_eq: eq option -> instr_t_desc -> instr_t


  		




  
  35
  
    
val mkinstr: ?lustre_expr:expr -> ?lustre_eq: eq -> instr_t_desc -> instr_t


  		




  36
  36
  
    
val get_instr_desc: instr_t -> instr_t_desc


  		




  37
  37
  
    
val update_instr_desc: instr_t -> instr_t_desc -> instr_t


  		




  38
  38
  
    
  


  		












Also available in:  Unified diff