Module ATDGenerated.Specialized_call_graph_t

type node = {
  1. name : string;
  2. context : int;
}
type location = {
  1. file : string;
  2. line : int;
  3. col : int;
}
type callee = {
  1. call_location : location;
  2. callee : int;
}
type edge = {
  1. caller : node;
  2. callees : callee list;
}
type call_graph = {
  1. edges : edge list;
  2. contexts : string list;
}