LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Public Attributes | List of all members
llzk::verif::detail::InvariantTargetOpInterfaceInterfaceTraits::Concept Struct Reference
Inheritance diagram for llzk::verif::detail::InvariantTargetOpInterfaceInterfaceTraits::Concept:
[legend]

Public Attributes

::mlir::FailureOr<::mlir::StringRef >(* getLabel )(const Concept *impl, ::mlir::Operation *)
 The methods defined by the interface.
::mlir::SmallVector<::mlir::Type >(* getArgumentTypes )(const Concept *impl, ::mlir::Operation *)

Detailed Description

Definition at line 236 of file OpInterfaces.h.inc.

Member Data Documentation

◆ getArgumentTypes

::mlir::SmallVector<::mlir::Type >(* llzk::verif::detail::InvariantTargetOpInterfaceInterfaceTraits::Concept::getArgumentTypes) (const Concept *impl, ::mlir::Operation *)

Definition at line 222 of file OpInterfaces.h.inc.

◆ getLabel

::mlir::FailureOr<::mlir::StringRef >(* llzk::verif::detail::InvariantTargetOpInterfaceInterfaceTraits::Concept::getLabel) (const Concept *impl, ::mlir::Operation *)

The methods defined by the interface.

Definition at line 222 of file OpInterfaces.h.inc.

The documentation for this struct was generated from the following file: