Project

General

Profile

Revision c1adf235 src/corelang.mli

View differences:

src/corelang.mli
235 235
val pp_prog_clock : Format.formatter -> program -> unit
236 236

  
237 237
val get_nodes : program -> node_desc list
238
val get_consts : program -> const_desc list
239
val prog_unfold_consts: program -> program
238
 val get_consts : program -> const_desc list 
239
(* val prog_unfold_consts: program -> program *)
240

  
240 241
val expr_replace_var: (ident -> ident) -> expr -> expr
241 242
val eq_replace_rhs_var: (ident -> bool) -> (ident -> ident) -> eq -> eq
242 243

  

Also available in: Unified diff