Template Function tvm::div(const Pattern&, const Pattern&)