LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
@311117161036051067263366262131136336120033104220::HasContainsOp Concept Reference

Concept definition

template<typename T>
concept @311117161036051067263366262131136336120033104220::HasContainsOp = requires(const T &t, Operation *p) {
{ t.contains(p) } -> std::convertible_to<bool>;
}

Detailed Description

Definition at line 525 of file LLZKInlineStructsPass.cpp.