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
  module Set :
    sig
      type elt = unix_filename
      type t
      val empty : t
      val is_empty : t -> bool
      val mem : elt -> t -> bool
      val add : elt -> t -> t
      val singleton : elt -> t
      val remove : elt -> t -> t
      val union : t -> t -> t
      val inter : t -> t -> t
      val diff : t -> t -> t
      val compare : t -> t -> int
      val equal : t -> t -> bool
      val subset : t -> t -> bool
      val iter : (elt -> unit) -> t -> unit
      val map : (elt -> elt) -> t -> t
      val fold : (elt -> '-> 'a) -> t -> '-> 'a
      val for_all : (elt -> bool) -> t -> bool
      val exists : (elt -> bool) -> t -> bool
      val filter : (elt -> bool) -> t -> t
      val partition : (elt -> bool) -> t -> t * t
      val cardinal : t -> int
      val elements : t -> elt list
      val min_elt : t -> elt
      val max_elt : t -> elt
      val choose : t -> elt
      val split : elt -> t -> t * bool * t
      val find : elt -> t -> elt
      val add_list : t -> elt list -> t
      val of_list : elt list -> t
      val to_list : t -> elt list
    end
end