package why3

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val backup_file : string -> unit
val channel_contents : in_channel -> string
val channel_contents_buf : in_channel -> Buffer.t
val channel_contents_fmt : in_channel -> Format.formatter -> unit
val fold_channel : ('a -> string -> 'a) -> 'a -> in_channel -> 'a
val file_contents : string -> string
val file_contents_buf : string -> Buffer.t
val file_contents_fmt : string -> Format.formatter -> unit
val write_file : string -> string -> unit
val open_temp_file : ?debug:bool -> string -> (string -> out_channel -> 'a) -> 'a
val copy_file : string -> string -> unit
val copy_dir : string -> string -> unit
val concat : string -> string -> string
type file_path
val empty_path : file_path
val add_to_path : file_path -> string -> file_path
val is_empty_path : file_path -> bool
val decompose_path : file_path -> string list
val basename : file_path -> string
val print_file_path : Format.formatter -> file_path -> unit
val system_independent_path_of_file : string -> file_path
val system_dependent_absolute_path : string -> file_path -> string
val relativize_filename : string -> string -> file_path
val uniquify : string -> string
OCaml

Innovation. Community. Security.