Power of two for fixed-point numbers. :param a: exponent for :math:`2^a` (sfix) :param zero_output: whether to output zero for very smal

Decorator to execute loop bodies consecutively. Arguments work as in Python :py:func:`range`, but they can be any public integer. Inform

Execute :py:obj:`n_loops` loop bodies in up to :py:obj:`n_threads` threads, in parallel up to an optimization budget per thread similar t

Convert secret integer. :param other: sint

################################################################### */

################################################################### */

################################################################### */

Get the byte encoding of the program as an actual string of bytes.

Get the encoding of the program, in human-readable format.