diff --git a/src/compiledData.ml b/src/compiledData.ml
index 02d77682046d8b91dcf8cb54ec9d9fa6db3bcc83..8f53b79b09d595e5163688665209469c49ce7cb0 100644
--- a/src/compiledData.ml
+++ b/src/compiledData.ml
@@ -1,4 +1,4 @@
-(** Time-stamp: <modified the 01/07/2008 (at 14:11) by Erwan Jahier> *)
+(** Time-stamp: <modified the 22/07/2008 (at 11:15) by Erwan Jahier> *)
 
 (** 
 
@@ -305,8 +305,7 @@ type 'a check_flag =
   | Incorrect
 
 
-let (profile_of_node_exp_eff : 
-       node_exp_eff -> type_eff list * type_eff list) =
+let (profile_of_node_exp_eff : node_exp_eff -> type_eff list * type_eff list) =
   fun ne -> 
     List.map (fun vi -> vi.var_type_eff) ne.inlist_eff,
     List.map (fun vi -> vi.var_type_eff) ne.outlist_eff
diff --git a/src/licDump.ml b/src/licDump.ml
index cb0708d87b179cac82eb8d4786c37e8a7686795d..2c8dbb7ca9192391fa47cc00c437d70da688bca9 100644
--- a/src/licDump.ml
+++ b/src/licDump.ml
@@ -1,4 +1,4 @@
-(** Time-stamp: <modified the 22/07/2008 (at 10:54) by Erwan Jahier> *)
+(** Time-stamp: <modified the 22/07/2008 (at 11:25) by Erwan Jahier> *)
 
 open CompiledData
 open Printf
@@ -66,6 +66,7 @@ and string_def_of_type_eff = function
   | Any -> "a"
   | Overload -> "o"
 
+(* exported *)
 and string_of_type_eff = function
   | Bool_type_eff -> "bool"
   | Int_type_eff  -> "int"
@@ -112,7 +113,8 @@ and (array_alias : type_eff -> int -> string) =
         let res = "A_"^ alias_t ^ "_" ^(string_of_int size) in
           Hashtbl.add type_alias_table array_t res;
           res
-  
+
+(* exported *)
 and dump_type_alias oc =
   let p = output_string oc in
     if Hashtbl.length type_alias_table > 0 then p "-- automatically defined aliases:";
@@ -124,7 +126,7 @@ and dump_type_alias oc =
     
 (******************************************************************************)    
 
-    
+(* exported  *)
 and (type_eff_list_to_string :type_eff list -> string) =
   fun tel -> 
     let str_l = List.map string_of_type_eff tel in
@@ -385,7 +387,7 @@ and (string_of_node_def : node_def_eff -> string list) =
 
     
 
-
+(* exported *)
 and (type_decl: Ident.long -> type_eff -> string) =
   fun tname teff -> 
     "type " ^ prefix ^ (long tname) ^ 
@@ -394,6 +396,7 @@ and (type_decl: Ident.long -> type_eff -> string) =
 	 | _ -> " = " ^ (string_def_of_type_eff teff) ^ ";\n"
       )
       
+(* exported *)
 and (const_decl: Ident.long -> const_eff -> string) =
   fun tname ceff -> 
     let str = "const " ^ (long tname) in
@@ -408,6 +411,7 @@ and (const_decl: Ident.long -> const_eff -> string) =
 	 | Real_const_eff _ -> str^" = " ^ (string_of_const_eff ceff)^ ";\n"
       ) 
       
+(* exported *)
 and (node_of_node_exp_eff: node_exp_eff -> string) =
   fun neff -> 
     (profile_of_node_exp_eff neff) ^ 
@@ -426,6 +430,7 @@ and (node_of_node_exp_eff: node_exp_eff -> string) =
       )
 
 
+(* exported *)
 and string_of_clock2 (ck : clock_eff) =
   let rec string_of_clock2_aux ck =
     (* to avoid printing the first level var name *)
diff --git a/src/licDump.mli b/src/licDump.mli
new file mode 100644
index 0000000000000000000000000000000000000000..01b09f610a11b79003834eb6c20489519be818d5
--- /dev/null
+++ b/src/licDump.mli
@@ -0,0 +1,28 @@
+(** Time-stamp: <modified the 22/07/2008 (at 11:24) 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 type alias that were introduced during the compilation process *)
+val dump_type_alias : out_channel -> unit
+
+
+(* used for error msgs *)
+
+val string_of_clock2  : clock_eff -> string