Experimental theorem-module assurance summary for Theoria 0.5 reports.
The shape may change before 1.0.
Summary
Types
@type t() :: %Theoria.Kernel.TheoremModuleReport{ checks: non_neg_integer(), failures: [term()], module: module(), replay_checks: non_neg_integer(), replay_skipped: non_neg_integer() }