Result Recording

Guppy’s output function supports booleans, unsigned integers (nat), and arrays of these values on H-Series. Signed integers (int) and their arrays are also accepted but errors can occur when their values become negative. See Integers for the restrictions on integer values.

Array results

Source file: guppy_examples/guppy-features/supported/result-arrays.py

from typing import no_type_check

from guppylang import guppy
from guppylang.std.builtins import array, output
from guppylang.std.num import nat


@guppy
@no_type_check
def main() -> None:
    output("bools", array(True, False, True))
    output("uints", array(nat(1), nat(2), nat(3)))