Project

General

Profile

Revision 9a9058f4 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
(* Extract a num to describe a real constant *)
171
val cst_real_to_num: Num.num -> int -> Num.num
168 172
(* Local Variables: *)
169 173
(* compile-command:"make -C .." *)
170 174
(* End: *)

Also available in: Unified diff