|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
Public Attributes | |
| ::mlir::Value(* | getVal )(const Concept *impl, ::mlir::Operation *) |
| The methods defined by the interface. | |
| ::mlir::StringAttr(* | getNameRefAttrName )(const Concept *impl, ::mlir::Operation *) |
| ::mlir::SymbolRefAttr(* | getNameRef )(const Concept *impl, ::mlir::Operation *) |
Definition at line 20 of file OpInterfaces.h.inc.
| ::mlir::SymbolRefAttr(* llzk::global::detail::GlobalRefOpInterfaceInterfaceTraits::Concept::getNameRef) (const Concept *impl, ::mlir::Operation *) |
Definition at line 23 of file OpInterfaces.h.inc.
| ::mlir::StringAttr(* llzk::global::detail::GlobalRefOpInterfaceInterfaceTraits::Concept::getNameRefAttrName) (const Concept *impl, ::mlir::Operation *) |
Definition at line 22 of file OpInterfaces.h.inc.
| ::mlir::Value(* llzk::global::detail::GlobalRefOpInterfaceInterfaceTraits::Concept::getVal) (const Concept *impl, ::mlir::Operation *) |
The methods defined by the interface.
Definition at line 21 of file OpInterfaces.h.inc.