val pp_time : float Lm_printf.t (* Print the location of the stack pointer for debugging. *) (* val print_stack_pointer : unit -> unit *) (* * Location of application data (this is the same as home_dir * except on Win32). *) val application_dir : string (* * Really read some number of bytes. *) val really_read : Unix.file_descr -> bytes -> int -> int -> unit (* * Copy an entire file. *) val copy_file : string -> string -> int -> unit (* * Make all the directories in a path. *) val mkdirhier : string -> unit (* * Home directory of the current user. *) val home_dir : string (* * C interface. *) val int_of_fd : Unix.file_descr -> int (* * Lock utilities. *) val lockf : Unix.file_descr -> Unix.lock_command -> int -> unit val getlk : Unix.file_descr -> Unix.lock_command -> int option (* * File truncation. *) val ftruncate : Unix.file_descr -> unit (* * Get a value from the registry. * raises Not_found if the entry is not found or you are not using Win32. *) type registry_hkey = HKEY_CLASSES_ROOT | HKEY_CURRENT_CONFIG | HKEY_CURRENT_USER | HKEY_LOCAL_MACHINE | HKEY_USERS val registry_find : registry_hkey -> string -> string -> string (* * Open a file. * This is mainly for debugging. *) val openfile : string -> Unix.open_flag list -> Unix.file_perm -> Unix.file_descr (* * Simple file locking. *) type flock_command = LOCK_UN | LOCK_SH | LOCK_EX | LOCK_TSH | LOCK_TEX val flock : Unix.file_descr -> flock_command -> unit (* * Scan the password database for entries. *) val getpwents : unit -> Unix.passwd_entry list val finally : 'a -> ('a -> 'b) -> ('a -> 'c) -> 'b (** TODO: flags need to be documented *) val with_file_fmt : string -> (Format.formatter -> 'a) -> 'a (** TODO: using [Sys.readdir] instead *) val list_directory : string -> string list val try_unlink_file : string -> unit val moncontrol : bool -> unit (* control gprof activity *)