@type failure() :: {Theoria.Env.name(), atom(), term()}

@type t() :: %Theoria.Kernel.Reference.Replay.Report{
  checked: non_neg_integer(),
  failures: [failure()],
  skipped: non_neg_integer()
}