Previous  Up  Next

Module My_unix


module My_unix: sig .. end

type file_kind =
| FK_dir
| FK_file
| FK_link
| FK_other

type stats = {
   stat_file_kind : file_kind;
   stat_key : string;
}
type implem = {
   mutable is_degraded : bool;
   mutable is_link : string -> bool;
   mutable run_and_open : 'a. string -> (Pervasives.in_channel -> 'a) -> 'a;
   mutable readlink : string -> string;
   mutable execute_many : ?max_jobs:int ->
?ticker:(unit -> unit) ->
?period:float ->
?display:((Pervasives.out_channel -> unit) -> unit) ->
(unit -> string) list list -> (bool list * exn) option;
   mutable report_error : Format.formatter -> exn -> unit;
   mutable at_exit_once : (unit -> unit) -> unit;
   mutable gettimeofday : unit -> float;
   mutable stdout_isatty : unit -> bool;
   mutable stat : string -> stats;
   mutable lstat : string -> stats;
} 
val is_degraded : bool lazy_t
val stat : string -> stats
val run_and_open : string -> (Pervasives.in_channel -> 'a) -> 'a
exception Not_a_link
exception No_such_file
exception Link_to_directories_not_supported
val readlinkcmd : string -> string
val readlink : string -> string
val is_link : string -> bool
val lstat : string -> stats
val implem : implem
val is_degraded : bool lazy_t
val stat : string -> stats
val lstat : string -> stats
val readlink : string -> string
val is_link : string -> bool
val run_and_open : string -> (Pervasives.in_channel -> 'a) -> 'a
val at_exit_once : (unit -> unit) -> unit
val report_error : Format.formatter -> exn -> unit
val gettimeofday : unit -> float
val stdout_isatty : unit -> bool
val execute_many : ?max_jobs:int ->
       ?ticker:(unit -> unit) ->
       ?period:float ->
       ?display:((Pervasives.out_channel -> unit) -> unit) ->
       (unit -> string) list list -> (bool list * exn) option
val run_and_read : string -> string