IncByIUsingIncByLE operation

Fully qualified name: Std.Arithmetic.IncByIUsingIncByLE

operation IncByIUsingIncByLE(adder : ((Qubit[], Qubit[]) => Unit is Adj + Ctl), c : Int, ys : Qubit[]) : Unit is Adj + Ctl

Summary

Increments a little-endian register ys by an Int number c using provided adder.

Description

Computes ys += c modulo 2ⁿ, where ys is a little-endian register Length(ys) = n > 0, c is an Int number, 0 ≤ c < 2ⁿ.