LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Types.capi.h.inc File Reference
#include "llzk-c/Builder.h"
#include <mlir-c/IR.h>
Include dependency graph for Types.capi.h.inc:
This graph shows which files directly or indirectly include this file:

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.

Function Documentation

◆ llzkStruct_StructTypeGetNameRef()

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.

◆ llzkStruct_StructTypeGetParams()

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.

◆ llzkTypeIsA_Struct_StructType()

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.