LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
StaticLoop.h File Reference
#include <cstdint>
Include dependency graph for StaticLoop.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

namespace  llzk
namespace  llzk::polymorphic

Functions

bool llzk::polymorphic::hasNextStaticIteration (int64_t current, int64_t upper, int64_t step)
 Whether another signed iteration exists after current, for current < upper and a positive step.