MLIR_CAPI_EXPORTED bool llzkOperationIsA_Cast_IntToFeltOp(MlirOperation)
Returns true if the Operation is a llzk::cast::IntToFeltOp.
MLIR_CAPI_EXPORTED bool llzkOperationIsA_Cast_FeltToIndexOp(MlirOperation)
Returns true if the Operation is a llzk::cast::FeltToIndexOp.
MLIR_CAPI_EXPORTED MlirOperation llzkCast_FeltToIndexOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue value)
Build a llzk::cast::FeltToIndexOp Operation.
MLIR_CAPI_EXPORTED void llzkCast_IntToFeltOpSetValue(MlirOperation op, MlirValue value)
Set Value operand of llzk::cast::IntToFeltOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkCast_FeltToIndexOpGetResult(MlirOperation op)
Get Result result from llzk::cast::FeltToIndexOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkCast_IntToFeltOpGetResult(MlirOperation op)
Get Result result from llzk::cast::IntToFeltOp Operation.
MLIR_CAPI_EXPORTED MlirOperation llzkCast_IntToFeltOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue value)
Build a llzk::cast::IntToFeltOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkCast_FeltToIndexOpGetValue(MlirOperation op)
Get Value operand from llzk::cast::FeltToIndexOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkCast_IntToFeltOpGetValue(MlirOperation op)
Get Value operand from llzk::cast::IntToFeltOp Operation.
MLIR_CAPI_EXPORTED void llzkCast_FeltToIndexOpSetValue(MlirOperation op, MlirValue value)
Set Value operand of llzk::cast::FeltToIndexOp Operation.