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