Theoria.Validation.Corpus.Summary (theoria v0.7.0)

Copy Markdown View Source

Summary counts for a validation corpus.

Summary

Types

t()

Types

t()

@type t() :: %Theoria.Validation.Corpus.Summary{
  categories: [atom()],
  defeq_checks: non_neg_integer(),
  inductive_checks: non_neg_integer(),
  theorem_checks: non_neg_integer(),
  theorem_modules: non_neg_integer()
}