Template Function tvm::operator<(const Pattern&, const Pattern&)