using degree_size_type