Exemple #1
0
 static int size (vector_type& v) { return v.dim(); }