|
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_String_StringType (MlirType) |
| Returns true if the Type is a llzk::string::StringType. | |
| MLIR_CAPI_EXPORTED MlirType | llzkString_StringTypeGet (MlirContext ctx) |
| Create a llzk::string::StringType Type with the given parameters. | |
| MLIR_CAPI_EXPORTED MlirType llzkString_StringTypeGet | ( | MlirContext | ctx | ) |
Create a llzk::string::StringType Type with the given parameters.
Definition at line 23 of file Types.capi.cpp.inc.
| MLIR_CAPI_EXPORTED bool llzkTypeIsA_String_StringType | ( | MlirType | inp | ) |
Returns true if the Type is a llzk::string::StringType.
Definition at line 19 of file Types.capi.cpp.inc.