Theoria.Kernel.TrustReport (theoria v0.5.0)

Copy Markdown View Source

Dependency and trust summary for an environment declaration.

Summary

Types

t()

Types

t()

@type t() :: %Theoria.Kernel.TrustReport{
  axioms: MapSet.t(atom()),
  direct_dependencies: MapSet.t(atom()),
  kind: Theoria.Env.Constant.kind(),
  name: atom(),
  primitive_dependencies: MapSet.t(atom()),
  theorem_dependencies: MapSet.t(atom()),
  transitive_dependencies: MapSet.t(atom())
}