# loopy.verification

## Verifier

> Not exported by `loopy.verification`.

## AssertionResult

> Not exported by `loopy.verification`.
