std::size_t value_hasher::hash(const value&v) { std::size_t seed(0); combine(seed, v.prop_0()); return seed; }