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 path_of_file : string -> string list
val relativize_filename : string -> string -> string
val absolutize_filename : string -> string -> string
val uniquify : string -> string
OCaml

Innovation. Community. Security.