|
LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
Public Member Functions | |
| void | initializeInterfaceConcept (::mlir::detail::InterfaceMap &interfaceMap) |
Public Attributes | |
| ::std::optional<::mlir::Type >(* | getTypeOpt )(const Concept *impl, ::mlir::Operation *) |
| The methods defined by the interface. | |
| const ::mlir::SymbolOpInterface::Concept * | implSymbolOpInterface = nullptr |
| The base classes of this interface. | |
Definition at line 14 of file OpInterfaces.h.inc.
|
inline |
Definition at line 20 of file OpInterfaces.h.inc.
| ::std::optional<::mlir::Type >(* llzk::polymorphic::detail::TemplateSymbolBindingOpInterfaceInterfaceTraits::Concept::getTypeOpt) (const Concept *impl, ::mlir::Operation *) |
The methods defined by the interface.
Definition at line 1 of file OpInterfaces.h.inc.
| const ::mlir::SymbolOpInterface::Concept* llzk::polymorphic::detail::TemplateSymbolBindingOpInterfaceInterfaceTraits::Concept::implSymbolOpInterface = nullptr |
The base classes of this interface.
Definition at line 18 of file OpInterfaces.h.inc.