Project

General

Profile

« Previous | Next » 

Revision 3b2bd83d

Added by Teme Kahsai about 8 years ago

updating to onera version 30f766a:2016-12-04

View differences:

src/corelang.mli
29 29 
val mkpredef_call: Location.t -> ident -> expr list -> expr
30 30 
val mk_new_name: (ident -> bool) -> ident -> ident
31 31 
val mk_new_node_name: node_desc -> ident -> ident
32 
val mktop: top_decl_desc -> top_decl
33 

  		




  32
  34
  
    

  		




  33
  35
  
    
val node_table : (ident, top_decl) Hashtbl.t


  		




  34
  36
  
    
val print_node_table:  Format.formatter -> unit -> unit


  		




  ......




  134
  136
  
    
val mkeexpr: Location.t ->  expr -> eexpr


  		




  135
  137
  
    
val merge_node_annot: node_annot -> node_annot -> node_annot 


  		




  136
  138
  
    
val extend_eexpr: (quantifier_type * var_decl list) list -> eexpr -> eexpr


  		




  137
  
  
    
val update_expr_annot: ident -> expr -> LustreSpec.expr_annot -> expr


  		




  
  139
  
    
val update_expr_annot: ident -> expr -> expr_annot -> expr


  		




  138
  140
  
    
(* val mkpredef_call: Location.t -> ident -> eexpr list -> eexpr*)


  		




  139
  141
  
    

  		




  140
  142
  
    
(* Local Variables: *)


  		












Also available in:  Unified diff