val add : string -> t -> tval remove : string -> t -> tval singleton : string -> tval of_list : string list -> tval to_list : t -> string listval mem : string -> t -> boolval subset : t -> t -> boolval equal : t -> t -> boolval compare : t -> t -> intval iter : (string -> unit) -> t -> unitval fold : (string -> 'a -> 'a) -> t -> 'a -> 'aval for_all : (string -> bool) -> t -> boolval exists : (string -> bool) -> t -> boolval filter : (string -> bool) -> t -> tval partition : (string -> bool) -> t -> t * tval elements : t -> string listval split : string -> t -> t * bool * t