Note:

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

Module OASISUnixPath.Set


module Set: OASISUtils.SetExt.S  with type elt = unix_filename
Set for Unix path. Not exported

include Set.S
val add_list : t -> elt list -> t
Extends a set with a list.
val of_list : elt list -> t
Convert a list to a set.
val to_list : t -> elt list
Shortcut for Set.elements.