Theoria.Kernel.AssuranceSummary (theoria v0.7.0)

Copy Markdown View Source

User-facing summary of kernel assurance coverage.

Summary

Types

t()

Functions

from_report(report)

Types

t()

@type t() :: %Theoria.Kernel.AssuranceSummary{
  artifacts: Theoria.Kernel.AssuranceSummary.Artifacts.t(),
  curated: Theoria.Kernel.AssuranceSummary.Curated.t(),
  environments: Theoria.Kernel.AssuranceSummary.Environments.t(),
  generated_terms: Theoria.Kernel.AssuranceSummary.GeneratedTerms.t(),
  replay: non_neg_integer(),
  theorems: non_neg_integer()
}

Functions

from_report(report)

@spec from_report(Theoria.Kernel.Differential.Report.t()) :: t()