module VL: sig
.. end
the CFG nodes
type
t = Cil2cfg.node_type Pervasives.ref
val hash : Cil2cfg.node_type Pervasives.ref -> int
val equal : Cil2cfg.node_type Pervasives.ref -> Cil2cfg.node_type Pervasives.ref -> bool
val compare : Cil2cfg.node_type Pervasives.ref -> Cil2cfg.node_type Pervasives.ref -> int
val stmt_opt : Cil2cfg.node_type Pervasives.ref -> Cil_types.stmt option
val stmt : Cil2cfg.node_type Pervasives.ref -> Cil_types.stmt
Raises Not_found
if stmt_opt v
= None
val pretty : Format.formatter -> Cil2cfg.node_type Pervasives.ref -> unit