Go to the documentation of this file.
9 #ifndef CIRCT_DIALECT_LTL_LTLTYPES_H
10 #define CIRCT_DIALECT_LTL_LTLTYPES_H
12 #include "mlir/IR/BuiltinTypes.h"
13 #include "mlir/IR/Types.h"
15 #define GET_TYPEDEF_CLASSES
16 #include "circt/Dialect/LTL/LTLTypes.h.inc"