package why3

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

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