LLZK 0.1.0
Veridise's ZK Language IR
|
#include <concepts>
Go to the source code of this file.
Concepts | |
concept | HasTrait |
Restricts a template parameter to Op classes that have the given Trait. | |
concept | HasInterface |
Restricts a template parameter to Op classes that implement the given OpInterface. | |