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 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
end