Project

General

Profile

Revision eb9a8c3c 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
(* Local Variables: *)
168

  
169
val find_eq: ident list -> eq list -> eq * eq list
170
                                                                                        (* Local Variables: *)
169 171
(* compile-command:"make -C .." *)
170 172
(* End: *)

Also available in: Unified diff