def dump_space(ls): return " ".join("%s: %d" % (dim_type.find_value(dt), ls.dim(dt)) for dt in range(1 + dim_type.all))
def dump_space(ls): return " ".join( "%s: %d" % (dim_type.find_value(dt), ls.dim(dt)) for dt in range(1 + dim_type.all))