Loading...
Searching...
No Matches
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"