val rmdir_descend: string -> unit (** rmdir -p *)
- (** find all _files_ matching test under a filesystem root *)
+ (** find all _files_ whose name matches test under a filesystem root.
+ * Test is passed the filename path relative to the given filesystem root *)
val find: ?test:(string -> bool) -> string -> string list
(** {2 File I/O} *)
(** {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} *)
(** @return a profiling function; [s] is used for labelling the total time at
* the end of the execution *)
val profile : ?enable:bool -> string -> profiler
-val set_profiling_printings : (unit -> bool) -> unit
+val set_profiling_printings : (string -> bool) -> unit
(** {2 Localized exceptions } *)
val dummy_floc: Lexing.position * Lexing.position
val raise_localized_exception: offset:int -> Token.flocation -> exn -> 'a
+
+(* size in KB (SLOW) *)
+val estimate_size: 'a -> int
+