package why3

  1. Overview
  2. Docs
package why3
Legend:
Library
Module
Module type
Parameter
Class
Class type
val backup_file : string -> unit
val channel_contents : Stdlib.in_channel -> string
val channel_contents_buf : Stdlib.in_channel -> Stdlib.Buffer.t
val channel_contents_fmt : Stdlib.in_channel -> Stdlib.Format.formatter -> unit
val fold_channel : ('a -> string -> 'a) -> 'a -> Stdlib.in_channel -> 'a
val file_contents : string -> string
val file_contents_buf : string -> Stdlib.Buffer.t
val file_contents_fmt : string -> Stdlib.Format.formatter -> unit
val write_file : string -> string -> unit
val open_temp_file : ?debug:bool -> string -> (string -> Stdlib.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 : Stdlib.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.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct