reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
135 return makeRule(std::move(M), std::move(Edits), std::move(Explanation));