(** Time-stamp: <modified the 22/08/2008 (at 14:53) by Erwan Jahier> *)

open CompiledData

val string_of_node_key_rec : node_key -> string
val node_of_node_exp_eff: node_exp_eff -> string

val string_of_const_eff : const_eff -> string

val string_of_type_eff : type_eff -> string
val string_of_type_eff_list : type_eff list -> string
val type_eff_list_to_string :type_eff list -> string

val type_decl: Ident.long -> type_eff -> string
val const_decl: Ident.long -> const_eff -> string

val profile_of_node_exp_eff: node_exp_eff -> string
val string_of_var_info_eff: var_info_eff -> string
val string_of_slice_info_eff : slice_info_eff -> string 


(* Dump all the aliases that were introduced during the compilation process *)
val dump_type_alias : out_channel -> unit
val dump_node_alias : out_channel -> unit


(* used for error msgs *)

val string_of_clock2  : clock_eff -> string
val string_of_val_exp_eff : val_exp_eff -> string