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 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 -> out_channel
val raw_intern_state : int -> string -> 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 : out_channel -> 'a -> unit
val marshal_in : string -> 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