Project

General

Profile

Revision 949b2e1e src/corelang.mli

View differences:

src/corelang.mli
165 165

  
166 166
val reset_cpt_fresh: unit -> unit
167 167
val mk_fresh_var: node_desc -> Location.t -> Types.type_expr ->  Clocks.clock_expr -> var_decl
168

  
169

  
170
val get_expr_calls: top_decl list -> expr -> Utils.ISet.t
171

  
172
val eq_has_arrows: eq -> bool
168 173
(* Local Variables: *)
169 174
(* compile-command:"make -C .." *)
170 175
(* End: *)

Also available in: Unified diff