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

Copy Markdown View Source

Summary counts for the curated kernel corpus.

Summary

Types

t()

Types

t()

@type t() :: %Theoria.Kernel.Corpus.Summary{
  check: non_neg_integer(),
  defeq: non_neg_integer(),
  infer: non_neg_integer(),
  normalize: non_neg_integer(),
  rejection: non_neg_integer()
}