22MLIR_CAPI_EXPORTED MlirAttribute
llzkPod_RecordAttrGet(MlirContext ctx, MlirIdentifier name, MlirType type);
MLIR_CAPI_EXPORTED MlirAttribute llzkPod_RecordAttrGet(MlirContext ctx, MlirIdentifier name, MlirType type)
Create a llzk::pod::RecordAttr Attribute with the given parameters.
MLIR_CAPI_EXPORTED bool llzkAttributeIsA_Pod_RecordAttr(MlirAttribute)
Returns true if the Attribute is a llzk::pod::RecordAttr.
MLIR_CAPI_EXPORTED MlirIdentifier llzkPod_RecordAttrGetName(MlirAttribute)
Get 'name' parameter from a llzk::pod::RecordAttr Attribute.
MLIR_CAPI_EXPORTED MlirType llzkPod_RecordAttrGetType(MlirAttribute)
Get 'type' parameter from a llzk::pod::RecordAttr Attribute.
MLIR_CAPI_EXPORTED MlirAttribute llzkPod_RecordAttrGetNameSym(MlirAttribute inp)
Returns the record name as a symbol.