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_Felt_FeltType (MlirType)
	Returns true if the Type is a llzk::felt::FeltType.
MLIR_CAPI_EXPORTED MlirType	llzkFelt_FeltTypeGet (MlirContext ctx, MlirIdentifier fieldName)
	Create a llzk::felt::FeltType Type with the given parameters.
MLIR_CAPI_EXPORTED MlirIdentifier	llzkFelt_FeltTypeGetFieldName (MlirType)
	Get 'fieldName' parameter from a llzk::felt::FeltType Type.
MLIR_CAPI_EXPORTED bool	llzkFelt_FeltTypeHasField (MlirType inp)
	hasField

Function Documentation

llzkFelt_FeltTypeGet()

MLIR_CAPI_EXPORTED MlirType llzkFelt_FeltTypeGet	(	MlirContext	ctx,
		MlirIdentifier	fieldName )

Create a llzk::felt::FeltType Type with the given parameters.

Definition at line 23 of file Types.capi.cpp.inc.

llzkFelt_FeltTypeGetFieldName()

MLIR_CAPI_EXPORTED MlirIdentifier llzkFelt_FeltTypeGetFieldName

(

MlirType

inp

)

Get 'fieldName' parameter from a llzk::felt::FeltType Type.

Definition at line 28 of file Types.capi.cpp.inc.

llzkFelt_FeltTypeHasField()

MLIR_CAPI_EXPORTED bool llzkFelt_FeltTypeHasField

(

MlirType

inp

)

hasField

Definition at line 32 of file Types.capi.cpp.inc.

llzkTypeIsA_Felt_FeltType()

MLIR_CAPI_EXPORTED bool llzkTypeIsA_Felt_FeltType

(

MlirType

inp

)

Returns true if the Type is a llzk::felt::FeltType.

Definition at line 19 of file Types.capi.cpp.inc.