boost::proto::tag::post_dec — Tag type for the unary postfix -- operator.
// In header: <boost/proto/tags.hpp> struct post_dec { };