SMT → Interfaces Relation

File in include/mlir/Dialect/SMT	Includes file in include/mlir/Interfaces
IR / SMTOps.h	ControlFlowInterfaces.h
IR / SMTOps.h	InferTypeOpInterface.h
IR / SMTOps.h	SideEffectInterfaces.h