|
LLZK 2.1.1
An open-source IR for Zero Knowledge (ZK) circuits
|
Public Attributes | |
| ::mlir::TypedValue<::llzk::pod::PodType >(* | getPodRef )(const Concept *impl, ::mlir::Operation *) |
| The methods defined by the interface. | |
| ::mlir::OpOperand &(* | getPodRefMutable )(const Concept *impl, ::mlir::Operation *) |
Definition at line 14 of file OpInterfaces.h.inc.
| ::mlir::TypedValue<::llzk::pod::PodType >(* llzk::pod::detail::PodRefOpInterfaceInterfaceTraits::Concept::getPodRef) (const Concept *impl, ::mlir::Operation *) |
The methods defined by the interface.
Definition at line 1 of file OpInterfaces.h.inc.
| ::mlir::OpOperand &(* llzk::pod::detail::PodRefOpInterfaceInterfaceTraits::Concept::getPodRefMutable) (const Concept *impl, ::mlir::Operation *) |
Definition at line 16 of file OpInterfaces.h.inc.