- improved logging

[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 821cb0f3180063d09fcd854e5022f9854c8af2fb..bdaee06e089ec940216275d4dc5dd201e1fb6205 100644 (file)
--- a/helm/software/lambda-delta/lib/log.mli
+++ b/helm/software/lambda-delta/lib/log.mli
@@ -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