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