Module Cil2cfg.VL

module VL: sig .. end
the CFG nodes

type t = Cil2cfg.node 
val hash : Cil2cfg.node_info -> int
val equal : Cil2cfg.node_info -> Cil2cfg.node_info -> bool
val compare : Cil2cfg.node_info -> Cil2cfg.node_info -> int
val pretty : Format.formatter -> Cil2cfg.node_info -> unit