Note:

You are viewing a development version of the library. Goto the latest version.

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