module Node:sig
..end
A node of the PDG : includes some information to know where it comes
from.
val make : PdgIndex.Key.t -> tt
val id : tt -> int
val elem_key : tt -> PdgIndex.Key.t
val stmt : tt -> Cil_types.stmt option
include struct ... end
val pretty_list : Format.formatter -> t list -> unit
val pretty_with_part : Format.formatter -> t * Locations.Zone.t option -> unit
val pretty_node : Format.formatter -> tt -> unit