LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
HasTrait Concept Reference

Restricts a template parameter to Op classes that have the given Trait. More...

#include <Concepts.h>

Concept definition

template<typename OpT, template< typename > class Trait>
concept HasTrait = OpT::template hasTrait<Trait>()
Restricts a template parameter to Op classes that have the given Trait.
Definition Concepts.h:16

Detailed Description

Restricts a template parameter to Op classes that have the given Trait.

Definition at line 16 of file Concepts.h.