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