Module PdgTypes.Pdg.Printer.V

module V: PdgTypes.Node

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