module type String_datatype_with_collections =sig..end
include Datatype.S_with_collections
val of_string : string -> tCannot_build if there is no element corresponding to the given
string.val of_singleton_string : string -> Set.tParameter_sig.no_element_of_string to indicate that each string s is
mapped exactly to of_string s.val to_string : t -> string