Module Why3findUtils.UtilsSource

Sourceval mkdirs : string -> unit
Sourceval rmpath : string -> unit
Sourceval copy : src:string -> tgt:string -> unit
Sourceval locate : string -> (string * string) option
Sourceval is_local : root:string -> file:string -> bool
Sourceval chdir : string -> unit
Sourceval absolute : string -> string
Sourceval path : ?root:string -> string -> string

Leave absolute path unchaned. For relative paths, concat to `~root` is provided, otherwize, leave unchanged.

Sourceval load : file:string -> Buffer.t -> unit
Sourceval readfile : file:string -> string
Sourceval writefile : file:string -> string -> unit
Sourceval output_and_close : out_channel -> (out_channel -> unit) -> unit
Sourceval outputfile : file:string -> (out_channel -> unit) -> unit
Sourceval formatfile : file:string -> (Format.formatter -> unit) -> unit
Sourceval input : file:string -> (in_channel -> 'a) -> 'a
Sourceval output : file:string -> (out_channel -> 'a) -> 'a
Sourceval readdir : (string -> unit) -> string -> unit
Sourceval iterpath : ?enter:(string -> unit) -> ?file:(string -> unit) -> ?leave:(string -> unit) -> ?ignored:(string -> bool) -> string -> unit
Sourceval pp_hex : Format.formatter -> string -> unit
Sourceval pp_arg : Format.formatter -> string -> unit
Sourceval pp_args : Format.formatter -> string list -> unit
Sourceval pp_ok : Format.formatter -> unit
Sourceval pp_ko : Format.formatter -> unit
Sourceval pp_mark : Format.formatter -> bool -> unit
Sourceval pp_time : Format.formatter -> float -> unit
Sourceval pp_atime : Format.formatter -> float -> unit
Sourceval pp_rtime : Format.formatter -> float -> unit
Sourceval pp_delta : Format.formatter -> float -> unit
Sourceval pa_time : string -> float
Sourceval pp_s : Format.formatter -> int -> unit
Sourceval pp_yies : Format.formatter -> int -> unit
Sourceval to_string : (Format.formatter -> 'a -> unit) -> 'a -> string
Sourceval round : float -> float
Sourceval show_progress_opt : string * Arg.spec * string
Sourceval tty : bool
Sourceval set_ansi_tags : Format.formatter -> unit
Sourceval flush : unit -> unit
Sourceval overflows : unit -> bool
Sourceval progress : ('a, Format.formatter, unit) format -> 'a
Sourceval failwith : ('a, Format.formatter, unit, 'b) format4 -> 'a