val is_empty : set -> bool
val disjoint : set -> set -> bool
val compare : set -> set -> int
val equal : set -> set -> bool
val subset : set -> set -> bool
val iter : (path -> unit) -> set -> unit
val fold : (path -> 'a -> 'a) -> set -> 'a -> 'a
val for_all : (path -> bool) -> set -> bool
val exists : (path -> bool) -> set -> bool
val cardinal : set -> int
val min_elt_opt : set -> path option
val max_elt_opt : set -> path option
val choose_opt : set -> path option
val find_first_opt : (path -> bool) -> set -> path option
val find_last_opt : (path -> bool) -> set -> path option