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>;
}
@311117161036051067263366262131136336120033104220::HasContainsOp
Definition
LLZKInlineStructsPass.cpp:525
Detailed Description
Definition at line
525
of file
LLZKInlineStructsPass.cpp
.
@311117161036051067263366262131136336120033104220
HasContainsOp
Generated by
1.14.0
Copyright 2025 Veridise Inc. under the Apache License v2.0.