LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
LLZK.cpp File Reference
#include "llzk/Dialect/LLZK/IR/Attrs.h"
#include "llzk/Dialect/LLZK/IR/Dialect.h"
#include "llzk-c/Dialect/LLZK.h"
#include <mlir/CAPI/Registration.h>
Include dependency graph for LLZK.cpp:

Go to the source code of this file.

Functions

MlirAttribute llzkPublicAttrGet (MlirContext ctx)
 Creates a llzk::PublicAttr.
 
bool llzkAttributeIsAPublicAttr (MlirAttribute attr)
 

Function Documentation

◆ llzkAttributeIsAPublicAttr()

bool llzkAttributeIsAPublicAttr ( MlirAttribute attr)

Definition at line 23 of file LLZK.cpp.

◆ llzkPublicAttrGet()

MlirAttribute llzkPublicAttrGet ( MlirContext ctx)

Creates a llzk::PublicAttr.

Definition at line 19 of file LLZK.cpp.