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