IR → Interfaces Relation

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