Some fixes.

[helm.git] / helm / software / lambda-delta / lib / log.mli

diff --git a/helm/software/lambda-delta/lib/log.mli b/helm/software/lambda-delta/lib/log.mli
index 43e81191597a844771504b62dfcd4822f5cda966..bdaee06e089ec940216275d4dc5dd201e1fb6205 100644 (file)
--- a/helm/software/lambda-delta/lib/log.mli
+++ b/helm/software/lambda-delta/lib/log.mli
@@ -23,11 +23,11 @@ val level: int ref
 
 val warn: string -> unit
 
-val box: unit -> unit
+val box: int -> unit
 
-val unbox: unit -> unit
+val unbox: int -> unit
 
-val flush: unit -> unit
+val flush: int -> unit
 
 val box_err: unit -> unit
 
@@ -39,6 +39,14 @@ val error: ('a, 'b) specs -> ('a, 'b) item list -> unit
 
 val items1: string -> ('a, 'b) item list
 
-val ct_items1: string -> 'a -> 'b -> ('a, 'b) item list
+val t_items1: string -> 'a -> 'b -> ('a, 'b) item list
 
-val ct_items2: string -> 'a -> 'b -> string -> 'a -> 'b -> ('a, 'b) item list
+val ct_items1:
+   string -> 'a -> string -> 'b -> ('a, 'b) item list
+
+val ct_items2:
+   string -> 'a -> string -> 'b -> string -> 'b -> ('a, 'b) item list
+
+val ct_items3:
+   string -> 'a -> string -> 'b -> string -> 'b -> string -> 'b -> 
+   ('a, 'b) item list