Project

General

Profile

« Previous | Next » 

Revision 1eda3e78

Added by Xavier Thirioux almost 8 years ago

- work in progress for automata...

View differences:

src/corelang.mli
26 26 
val mkassert: Location.t -> expr -> assert_t
27 27 
val mktop_decl: Location.t -> ident -> bool -> top_decl_desc -> top_decl
28 28 
val mkpredef_call: Location.t -> ident -> expr list -> expr
29 
val mk_new_name: var_decl list -> ident -> ident
29 
val mk_new_name: (ident -> bool) -> ident -> ident
30 30 

  		




  31
  31
  
    

  		




  32
  32
  
    
val node_table : (ident, top_decl) Hashtbl.t


  		




  ......




  65
  65
  
    

  		




  66
  66
  
    
val get_node_vars: node_desc -> var_decl list


  		




  67
  67
  
    
val get_node_var: ident -> node_desc -> var_decl


  		




  
  68
  
    
val get_node_eqs: node_desc -> eq list


  		




  68
  69
  
    
val get_node_eq: ident -> node_desc -> eq


  		




  69
  70
  
    
val get_node_interface: node_desc -> imported_node_desc


  		




  70
  71
  
    

  		












Also available in:  Unified diff