Module types 

Structs

AuditFinding

A coherence issue found across specs.

AuditResult

Results from ought audit.

BisectResult

Results from ought bisect.

BlameResult

Results from ought blame.

CommitInfo

Information about a git commit.

SurveyResult

Results from ought survey.

UncoveredBehavior

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

Enums

AuditFindingKind