|
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_Struct_StructType (MlirType) |
| Returns true if the Type is a llzk::component::StructType. | |
| MLIR_CAPI_EXPORTED MlirAttribute | llzkStruct_StructTypeGetNameRef (MlirType) |
| Get 'nameRef' parameter from a llzk::component::StructType Type. | |
| MLIR_CAPI_EXPORTED MlirAttribute | llzkStruct_StructTypeGetParams (MlirType) |
| Get 'params' parameter from a llzk::component::StructType Type. | |
| MLIR_CAPI_EXPORTED MlirAttribute llzkStruct_StructTypeGetNameRef | ( | MlirType | inp | ) |
Get 'nameRef' parameter from a llzk::component::StructType Type.
Definition at line 23 of file Types.capi.cpp.inc.
| MLIR_CAPI_EXPORTED MlirAttribute llzkStruct_StructTypeGetParams | ( | MlirType | inp | ) |
Get 'params' parameter from a llzk::component::StructType Type.
Definition at line 27 of file Types.capi.cpp.inc.
| MLIR_CAPI_EXPORTED bool llzkTypeIsA_Struct_StructType | ( | MlirType | inp | ) |
Returns true if the Type is a llzk::component::StructType.
Definition at line 19 of file Types.capi.cpp.inc.