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

@type normalization_target() ::
  nil | :boundary_call | :struct_constructor | {:call, atom(), atom()}

@type role() :: :accumulator | :domain | :presentation

@type t() :: %Reach.Evidence.RepresentationOverlap.MapShape{
  column: pos_integer() | nil,
  file: Path.t(),
  function: function_id(),
  keys: [atom()],
  line: pos_integer() | nil,
  module: module(),
  normalized_into: normalization_target(),
  projection?: boolean(),
  projection_sources: [atom()],
  role: role(),
  variable: atom() | nil
}