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

e: VAR doubleton[T]