let string_of_domain d = string_of_string_list d.domain_value ""