MLIR 22.0.0git

IR → Interfaces Relation

File in include/mlir/Dialect/SMT/IRIncludes file in include/mlir/Interfaces
SMTOps.hControlFlowInterfaces.h
SMTOps.hInferTypeOpInterface.h
SMTOps.hSideEffectInterfaces.h