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

Go to the source code of this file.

Functions

bool llzkTypeIsA_String_StringType (MlirType inp)
 Returns true if the Type is a llzk::string::StringType.
MlirType llzkString_StringTypeGet (MlirContext ctx)
 Create a llzk::string::StringType Type with the given parameters.

Function Documentation

◆ llzkString_StringTypeGet()

MlirType llzkString_StringTypeGet ( MlirContext ctx)

Create a llzk::string::StringType Type with the given parameters.

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

◆ llzkTypeIsA_String_StringType()

bool llzkTypeIsA_String_StringType ( MlirType inp)

Returns true if the Type is a llzk::string::StringType.

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