LLZK 0.1.0
Veridise's ZK Language IR
|
Go to the source code of this file.
Functions | |
MLIR_DECLARE_CAPI_DIALECT_REGISTRATION (LLZK, llzk) | |
MLIR_CAPI_EXPORTED MlirAttribute | llzkPublicAttrGet (MlirContext context) |
Creates a llzk::PublicAttr. | |
LLZK_DECLARE_ATTR_ISA (PublicAttr) | |
Returns true if the attribute is a PublicAttr. | |
LLZK_DECLARE_ATTR_ISA | ( | PublicAttr | ) |
Returns true if the attribute is a PublicAttr.
MLIR_CAPI_EXPORTED MlirAttribute llzkPublicAttrGet | ( | MlirContext | context | ) |
MLIR_DECLARE_CAPI_DIALECT_REGISTRATION | ( | LLZK | , |
llzk | ) |