|
LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
#include "llzk-c/Dialect/Cast.h"#include "llzk/CAPI/Builder.h"#include "llzk/CAPI/Support.h"#include "llzk/Dialect/Cast/IR/Dialect.h"#include "llzk/Dialect/Cast/IR/Ops.h"#include <mlir/CAPI/IR.h>#include <mlir/CAPI/Registration.h>#include "llzk/Dialect/Cast/IR/Ops.capi.cpp.inc"Go to the source code of this file.
Functions | |
| LLZK_DEFINE_SUFFIX_OP_BUILD_METHOD (Cast, IntToFeltOp, WithType, MlirType feltType, MlirValue value) | |
| LLZK_DEFINE_SUFFIX_OP_BUILD_METHOD | ( | Cast | , |
| IntToFeltOp | , | ||
| WithType | , | ||
| MlirType | feltType, | ||
| MlirValue | value ) |