Project

General

Profile

Revision e8f55c25 src/corelang.mli

View differences:

src/corelang.mli
70 70
val get_repr_type: type_dec_desc -> type_dec_desc
71 71
val is_user_type: type_dec_desc -> bool
72 72
val coretype_equal: type_dec_desc -> type_dec_desc -> bool
73
val tag_true: label
74
val tag_false: label
75 73
val tag_default: label
76 74
val tag_table: (label, top_decl) Hashtbl.t
77 75
val field_table: (label, top_decl) Hashtbl.t
......
190 188

  
191 189
val find_eq: ident list -> eq list -> eq * eq list
192 190

  
193
(* Extract a num to describe a real constant *)
194
val cst_real_to_num: Num.num -> int -> Num.num
195

  
196 191
val get_expr_calls: top_decl list -> expr -> Utils.ISet.t
197 192

  
198 193
val eq_has_arrows: eq -> bool
......
202 197
val add_pre_expr: ident list -> expr -> expr
203 198

  
204 199
val mk_eq: Location.t -> expr -> expr -> expr 
205
(* Local Variables: *)
200

  
201
(* Simple transformations: eg computation over constants *)
202
val partial_eval: expr -> expr
203

  
204
  (* Local Variables: *)
206 205
(* compile-command:"make -C .." *)
207 206
(* End: *)

Also available in: Unified diff