]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/lib/log.mli
basic_rg: improved interface, unwind removed from applicability check
[helm.git] / helm / software / lambda-delta / lib / log.mli
index 241247c188d69ff345ef1bd194299c707933aa6f..6a2cc90cddab3249bdf1d61469c88d79db32f043 100644 (file)
@@ -48,7 +48,8 @@ val ct_items1:
    string -> 'a -> string -> 'b -> ('a, 'b) item list
 
 val ct_items2:
-   string -> 'a -> string -> 'b -> string -> 'b -> ('a, 'b) item list
+   string -> 'a -> string -> 'b -> string -> 'a -> string -> 'b -> 
+   ('a, 'b) item list
 
 val ct_items3:
    string -> 'a -> string -> 'b -> string -> 'b -> string -> 'b ->