@type branch() :: map()

@type call_edge() :: {function_id(), function_id()}

@type data_flow() :: map()

@type effect() :: {function_id(), atom()}

@type function_id() :: {module(), atom(), non_neg_integer()}

@type location() :: map()

@type t() :: %ProgramFacts.Facts{
  architecture: map(),
  branches: [branch()],
  call_edges: [call_edge()],
  call_paths: [[function_id()]],
  data_flows: [data_flow()],
  effects: [effect()],
  features: MapSet.t(atom()),
  functions: [function_id()],
  locations: %{optional(atom()) => [location()]},
  modules: [module()]
}