RepeatEstimates operation

Fully qualified name: Std.ResourceEstimation.RepeatEstimates

operation RepeatEstimates(count : Int) : Unit is Adj

Summary

Instructs the resource estimator to assume that the resources from the call of this operation until a call to Adjoint RepeatEstimates are accounted for count times, without the need to execute the code that many times.

Input

count

Assumed number of repetitions, factor to multiply the cost with