LLZK 0.1.0
Veridise's ZK Language IR
|
Go to the source code of this file.
Functions | |
MLIR_DECLARE_CAPI_DIALECT_REGISTRATION (String, llzk__string) | |
MLIR_CAPI_EXPORTED MlirType | llzkStringTypeGet (MlirContext) |
Creates a llzk::string::StringType. | |
LLZK_DECLARE_TYPE_ISA (StringType) | |
Returns true if the type is a StringType. | |
LLZK_DECLARE_TYPE_ISA | ( | StringType | ) |
Returns true if the type is a StringType.
MLIR_CAPI_EXPORTED MlirType llzkStringTypeGet | ( | MlirContext | ctx | ) |
Creates a llzk::string::StringType.
Definition at line 23 of file String.cpp.
MLIR_DECLARE_CAPI_DIALECT_REGISTRATION | ( | String | , |
llzk__string | ) |