From 27721c563ab000f02ef5cff6e3715bdf75661343 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 1 Jun 2006 15:27:50 +0000 Subject: [PATCH] commented the finally function --- components/extlib/hExtlib.mli | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/components/extlib/hExtlib.mli b/components/extlib/hExtlib.mli index 37a3bc6df..52b74429c 100644 --- a/components/extlib/hExtlib.mli +++ b/components/extlib/hExtlib.mli @@ -53,6 +53,10 @@ val output_file: filename:string -> text:string -> unit (** other way round *) (** {2 Exception handling} *) + (** @param finalizer finalization function (execution both in case of success + * and in case of raised exception + * @param f function to be invoked + * @param arg argument to be passed to function *) val finally: (unit -> unit) -> ('a -> 'b) -> 'a -> 'b (** {2 Char processing} *) -- 2.39.2