Module types 

Structs

AuditFinding

A coherence issue found across specs.

AuditResult

Results from ought analyze audit.

BisectResult

Results from ought debug bisect.

BlameResult

Results from ought debug blame.

CommitInfo

Information about a git commit.

SurveyResult

Results from ought analyze survey.

UncoveredBehavior

A behavior found in source code with no corresponding spec clause.

Enums

AuditFindingKind