@type t() :: %ProgramFacts.Manifest.Facts{
  architecture: term(),
  branches: term(),
  call_edges: term(),
  call_paths: term(),
  data_flows: term(),
  effects: term(),
  features: term(),
  functions: term(),
  locations: term(),
  modules: term()
}