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