SMTExtension → IR Relation

File in include/mlir/Dialect/Transform/SMTExtension	Includes file in include/mlir/IR
SMTExtension.h	OpDefinition.h
SMTExtension.h	OpImplementation.h
SMTExtensionOps.h	OpDefinition.h
SMTExtensionOps.h	OpImplementation.h