llzk::function::Verification< Extra >::Impl< TypeClass > Class Template Reference

#include <OpTraits.h>

Inheritance diagram for llzk::function::Verification< Extra >::Impl< TypeClass >:

Collaboration diagram for llzk::function::Verification< Extra >::Impl< TypeClass >:

Static Public Member Functions
static mlir::LogicalResult	verifyTrait (mlir::Operation *op)

Detailed Description

template<template< typename T > class... Extra>
template<typename TypeClass>
class llzk::function::Verification< Extra >::Impl< TypeClass >

Definition at line 69 of file OpTraits.h.

Member Function Documentation

verifyTrait()

template<template< typename T > class... Extra>

template<typename TypeClass>

mlir::LogicalResult llzk::function::Verification< Extra >::Impl< TypeClass >::verifyTrait ( mlir::Operation * op )

inlinestatic

Definition at line 71 of file OpTraits.h.

---

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

• include/llzk/Dialect/Function/IR/OpTraits.h