Marker for ops in the verif dialect that can be inlined inside functions. More...

#include <OpTraits.h>

Classes
class	Impl

Detailed Description

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

Marker for ops in the verif dialect that can be inlined inside functions.

Definition at line 66 of file OpTraits.h.

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

Classes