hash of of type_id

hash() std::size_t halcheck::lib::type_id::hash ( ) const inline Gets a hash code associated with this type identifier. Postcondition x.hash() == y.hash() || x != y