Untitled

proc allInt(elems: seq[int]): bool {.noSideEffect} =
    for elem in elems:
        if not bool(elem):
            return false
    return true


static:
    assert (not bool(0))
    assert bool(1)
    assert allInt(@[1, 2, 3, 4])