let set_attribute state_set state_attribute values_list = set_attribute_internal state_set state_attribute (State_attribute.mask_of_values values_list)