sig
type unix_filename = string
type unix_dirname = OASISUnixPath.unix_filename
type host_filename = string
type host_dirname = OASISUnixPath.host_filename
val current_dir_name : OASISUnixPath.unix_filename
val is_current_dir : OASISUnixPath.unix_filename -> bool
val parent_dir_name : OASISUnixPath.unix_filename
val concat :
OASISUnixPath.unix_filename ->
OASISUnixPath.unix_filename -> OASISUnixPath.unix_filename
val make : OASISUnixPath.unix_filename list -> OASISUnixPath.unix_filename
val dirname : OASISUnixPath.unix_filename -> OASISUnixPath.unix_filename
val basename : OASISUnixPath.unix_filename -> OASISUnixPath.unix_filename
val chop_extension :
OASISUnixPath.unix_filename -> OASISUnixPath.unix_filename
val check_extension : OASISUnixPath.unix_filename -> string -> bool
val add_extension :
OASISUnixPath.unix_filename -> string -> OASISUnixPath.unix_filename
val replace_extension :
OASISUnixPath.unix_filename -> string -> OASISUnixPath.unix_filename
val capitalize_file :
OASISUnixPath.unix_filename -> OASISUnixPath.unix_filename
val uncapitalize_file :
OASISUnixPath.unix_filename -> OASISUnixPath.unix_filename
val reduce : OASISUnixPath.unix_filename -> OASISUnixPath.unix_filename
val make_relative :
OASISUnixPath.unix_filename ->
OASISUnixPath.unix_filename -> OASISUnixPath.unix_filename
val is_current : OASISUnixPath.unix_filename -> bool
end