val dirname : string -> string
dirname filename returns the dirname of filename after normalization
val normalize : string -> string
normalize filename returns a normalized name for filename, where no
"//", "<name>/.." or "/./" are present.
val extension : string -> string
extension filename returns the longest extension of filename,
which is the substring after the first "." in filename (including
the ".")
val last_extension : string -> string
last_extension filename returns the last extension of filename,
which is the substring after the last "." in filename
(including the ".")
val register_conversions: (string -> string) -> (string -> string) -> unit
register_conversions from_string to_string registers two conversion
functions for filenames. The first from_string one converts strings
(from the user) to
filenames (for system use) , whereas the second to_string
converts filenames to strings.
val from_string : string -> string
from_string str converts the str string to a filename using reistered
conversion functions.
val to_string : string -> string
to_string filename converts filename to a string using registered
conversion functions.
Go to the first, previous, next, last section, table of contents.