Utility Functions

Magma has many other utility functions.

# concatenate Arrays, Bits, UInt, SInt.
concat(a0, a1, ...,an)

# form an array by repeat a complex value n times
# form a Bits by repeating a bit n times.
repeat(value, n)

# zero extend a Bits, UInt, SInt by n bits
zext(bits, n)

# sign extend a SInt by n bits
sext(sint, n)