double

Doubles the first element of a column on the device: it runs the abi_scale fixture with scale = 2 over a domain of one element. The procgenAbi suite calls it through the builder as g.abiBox.double.

Inputs

• src (Column): the column whose first element is doubled.

Outputs

• dst (Column): one element, twice the first element of src.

local up = g.op.transfer.upload({ values = { a = { 4, 5, 6 } } })
local twice = g.abiBox.double({ src = up.a }) -- { 8 }