sig
  type t_call_id = PdgIndex.Key.t_call_id
  type t =
    PdgIndex.Key.t = private
      SigKey of PdgIndex.Signature.t_key
    | VarDecl of Cil_types.varinfo
    | Stmt of Cil_types.stmt
    | CallStmt of t_call_id
    | Label of int * Cil_types.label
    | SigCallKey of t_call_id * PdgIndex.Signature.t_key
  val param_key : int -> '-> t
  val implicit_in_key : Locations.Zone.t -> t
  val entry_point : t
  val top_input : t
  val output_key : t
  val out_from_key : Locations.Zone.t -> t
  val decl_var_key : Cil_types.varinfo -> t
  val label_key : Cil_types.stmt -> Cil_types.label -> t
  val stmt_key : Cil_types.stmt -> t
  val call_key : Cil_types.stmt -> t
  val call_input_key : Cil_types.stmt -> int -> t
  val call_output_key : Cil_types.stmt -> Locations.Zone.t -> t
  val call_outret_key : Cil_types.stmt -> t
  val call_ctrl_key : Cil_types.stmt -> t
  val call_topin_key : Cil_types.stmt -> t
  val stmt : t -> Cil_types.stmt option
  val call_from_id : t_call_id -> Cil_types.stmt
  val pretty : Format.formatter -> t -> unit
end