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

Restricts a template parameter to Op classes that implement the given OpInterface. More...

#include <Concepts.h>

Concept definition

template<typename OpT, typename Iface>
Restricts a template parameter to Op classes that implement the given OpInterface.
Definition Concepts.h:20
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 implement the given OpInterface.

Definition at line 20 of file Concepts.h.