/doc/html/boost/proto/shift_right