Create a filename from a string.

Create a string from a filename.

Create an extension from a string.

Return string representation of an extension.

See FilePath.make_filename

See FilePath.is_subdir

See FilePath.is_updir

See FilePath.compare

See FilePath.basename

See FilePath.dirname

See FilePath.concat

See FilePath.reduce

See FilePath.make_absolute

See FilePath.make_relative

See FilePath.reparent

See FilePath.identity

See FilePath.is_valid

See FilePath.is_relative

See FilePath.is_current

See FilePath.is_parent

See FilePath.chop_extension

See FilePath.get_extension

See FilePath.check_extension

See FilePath.add_extension

See FilePath.replace_extension

See FilePath.string_of_path

See FilePath.path_of_string

See FilePath.current_dir

See FilePath.parent_dir