src/base/statistics.hh

1035     /** Proxy type */
1036     typedef ScalarProxy<Derived> Proxy;
1164     Proxy
1168         return Proxy(this->self(), index);
1255     typedef VectorProxy<Derived> Proxy;
1313     Proxy
1318         return Proxy(this->self(), offset, y);
1947     typedef DistProxy<Derived> Proxy;
2001     Proxy operator[](off_type index)
2004         return Proxy(this->self(), index);
2088      * Proxy has no state.  Nothing to reset.