Theoria.Kernel.ProofStrategyReport (theoria v0.7.0)

Structured proof-strategy count summary for generated artifacts.

Experimental before 1.0; the shape may change.

Summary

t()

new(counts)

@type t() :: %Theoria.Kernel.ProofStrategyReport{
  counts: %{required(atom()) => non_neg_integer()},
  total: non_neg_integer()
}

@spec count(t(), atom()) :: non_neg_integer()

@spec counts(t()) :: %{required(atom()) => non_neg_integer()}

@spec new(%{required(atom()) => non_neg_integer()}) :: t()

@spec total(t()) :: non_neg_integer()