Theoria.Kernel.AssuranceSummary.Curated (theoria v0.7.0)

Copy Markdown View Source

Curated kernel corpus counts.

Summary

Types

t()

Types

t()

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