FDL > PVS > Graphs > subgraphs > V : var-decl

V: VAR set[T]