module Abstract: FilePath.PATH_SPECIFICATION
type
filename
type
extension
Converting abstract type from/to string
val string_of_filename : filename -> string
Create a filename from a string.
val filename_of_string : string -> filename
Create a string from a filename.
val extension_of_string : string -> extension
Create an extension from a string.
val string_of_extension : extension -> string
Return string representation of an extension.
Standard operations
val make_filename : string list -> filename
val is_subdir : filename ->
filename -> bool
val is_updir : filename ->
filename -> bool
val compare : filename ->
filename -> int
val basename : filename -> filename
val dirname : filename -> filename
val concat : filename ->
filename -> filename
val reduce : ?no_symlink:bool ->
filename -> filename
val make_absolute : filename ->
filename -> filename
val make_relative : filename ->
filename -> filename
val reparent : filename ->
filename ->
filename -> filename
val identity : filename -> filename
val is_valid : filename -> bool
val is_relative : filename -> bool
val is_current : filename -> bool
val is_parent : filename -> bool
val chop_extension : filename -> filename
val get_extension : filename -> extension
val check_extension : filename ->
extension -> bool
val add_extension : filename ->
extension -> filename
val replace_extension : filename ->
extension -> filename
val string_of_path : filename list -> string
val path_of_string : string -> filename list
val current_dir : filename
val parent_dir : filename