|
LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
Go to the source code of this file.
Functions | |
| MLIR_CAPI_EXPORTED bool | llzkTypeIsA_Pod_PodType (MlirType) |
| Returns true if the Type is a llzk::pod::PodType. | |
| MLIR_CAPI_EXPORTED MlirType | llzkPod_PodTypeGet (MlirContext ctx, intptr_t recordsCount, MlirAttribute const *records) |
| Create a llzk::pod::PodType Type with the given parameters. | |
| MLIR_CAPI_EXPORTED intptr_t | llzkPod_PodTypeGetRecordsCount (MlirType) |
| Get count of 'records' parameter from a llzk::pod::PodType Type. | |
| MLIR_CAPI_EXPORTED MlirAttribute | llzkPod_PodTypeGetRecordsAt (MlirType, intptr_t pos) |
| Get element at index from 'records' parameter from a llzk::pod::PodType Type. | |
| MLIR_CAPI_EXPORTED MlirType llzkPod_PodTypeGet | ( | MlirContext | ctx, |
| intptr_t | recordsCount, | ||
| MlirAttribute const * | records ) |
Create a llzk::pod::PodType Type with the given parameters.
Definition at line 23 of file Types.capi.cpp.inc.
| MLIR_CAPI_EXPORTED MlirAttribute llzkPod_PodTypeGetRecordsAt | ( | MlirType | inp, |
| intptr_t | pos ) |
Get element at index from 'records' parameter from a llzk::pod::PodType Type.
Definition at line 34 of file Types.capi.cpp.inc.
| MLIR_CAPI_EXPORTED intptr_t llzkPod_PodTypeGetRecordsCount | ( | MlirType | inp | ) |
Get count of 'records' parameter from a llzk::pod::PodType Type.
Definition at line 28 of file Types.capi.cpp.inc.
| MLIR_CAPI_EXPORTED bool llzkTypeIsA_Pod_PodType | ( | MlirType | inp | ) |
Returns true if the Type is a llzk::pod::PodType.
Definition at line 19 of file Types.capi.cpp.inc.