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 : 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.

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