package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
type unix_path = string
type file_kind =
  1. | FileDir of unix_path * string
  2. | FileRegular of string
val (//) : unix_path -> string -> unix_path
val exists_dir : unix_path -> bool
val exclude_directory : unix_path -> unit
val process_directory : (file_kind -> unit) -> unix_path -> unit
val process_subdirectories : (unix_path -> string -> unit) -> unix_path -> unit
val all_subdirs : unix_path:string -> (CUnix.physical_path * string list) list
val is_in_path : CUnix.load_path -> string -> bool
val is_in_system_path : string -> bool
val where_in_path : ?warn:bool -> CUnix.load_path -> string -> CUnix.physical_path * string
val find_file_in_path : ?warn:bool -> CUnix.load_path -> string -> CUnix.physical_path * string
val trust_file_cache : bool Stdlib.ref
val file_exists_respecting_case : string -> string -> bool
type magic_number_error = {
  1. filename : string;
  2. actual : int32;
  3. expected : int32;
}
exception Bad_magic_number of magic_number_error
exception Bad_version_number of magic_number_error
val raw_extern_state : int -> string -> Stdlib.out_channel
val raw_intern_state : int -> string -> Stdlib.in_channel
val extern_state : int -> string -> 'a -> unit
val intern_state : int -> string -> 'a
val with_magic_number_check : ('a -> 'b) -> 'a -> 'b
val marshal_out : Stdlib.out_channel -> 'a -> unit
val marshal_in : string -> Stdlib.in_channel -> 'a
val check_caml_version : caml:string -> file:string -> unit
type time
val get_time : unit -> time
val time_difference : time -> time -> float
val fmt_time_difference : time -> time -> Pp.t
val with_time : batch:bool -> header:Pp.t -> ('a -> 'b) -> 'a -> 'b
val get_toplevel_path : ?byte:bool -> 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