Project

General

Profile

Revision 7065d912 src/corelang.mli

View differences:

src/corelang.mli
162 162
(* val mkpredef_call: Location.t -> ident -> eexpr list -> eexpr*)
163 163

  
164 164
val expr_contains_expr: tag -> expr -> bool
165

  
166
val reset_cpt_fresh: unit -> unit
167
val mk_fresh_var: node_desc -> Location.t -> Types.type_expr ->  Clocks.clock_expr -> var_decl
165 168
(* Local Variables: *)
166 169
(* compile-command:"make -C .." *)
167 170
(* End: *)

Also available in: Unified diff