LLZK 0.1.0
Veridise's ZK Language IR
|
Public Types | |
using | ConcreteEntity = ConcreteOp |
![]() | |
using | Interface |
Additional Inherited Members | |
![]() | |
FallbackModel () | |
![]() | |
static inline ::mlir::TypedValue<::llzk::array::ArrayType > | getArrRef (const Concept *impl, ::mlir::Operation *tablegen_opaque_val) |
static inline ::mlir::OpOperand & | getArrRefMutable (const Concept *impl, ::mlir::Operation *tablegen_opaque_val) |
![]() | |
::mlir::TypedValue<::llzk::array::ArrayType >(* | getArrRef )(const Concept *impl, ::mlir::Operation *) |
The methods defined by the interface. | |
::mlir::OpOperand &(* | getArrRefMutable )(const Concept *impl, ::mlir::Operation *) |
Definition at line 38 of file OpInterfaces.h.inc.
using llzk::array::detail::ArrayRefOpInterfaceInterfaceTraits::ExternalModel< ConcreteModel, ConcreteOp >::ConcreteEntity = ConcreteOp |
Definition at line 40 of file OpInterfaces.h.inc.