LLZK 0.1.0
Veridise's ZK Language IR
|
#include "llzk/Dialect/Constrain/IR/OpInterfaces.h.inc"
Go to the source code of this file.
Namespaces | |
namespace | llzk |
namespace | llzk::constrain |
Functions | |
bool | llzk::constrain::containsConstraintOp (mlir::Operation *op) |