package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
type physical_path = string
type load_path = physical_path list
val physical_path_of_string : string -> physical_path
val string_of_physical_path : physical_path -> string
val escaped_string_of_physical_path : physical_path -> string
val canonical_path_name : string -> string
val remove_path_dot : string -> string
val strip_path : string -> string
val correct_path : string -> string -> string
val path_to_list : string -> string list
val make_suffix : string -> string -> string
val file_readable_p : string -> bool
val run_command : ?hook:(bytes -> unit) -> string -> Unix.process_status * string
val sys_command : string -> string list -> Unix.process_status
val waitpid_non_intr : int -> Unix.process_status
val same_file : string -> string -> bool
val mktemp_dir : ?temp_dir:string -> string -> string -> string