Function verify

examples/06_effectful_verifier/python/main.py:31–39

(fn)

def verify(fn):
    all_ok = True
    for msg, ok in verify_function(fn, lib, kernel):
        if not ok:
            print(f"  REJECTED: {msg}")
            all_ok = False
        else:
            print(f"  VERIFIED: {msg}")
    return all_ok


# ---------------------------------------------------------------------------