FDL > PVS > Graphs > ramsey new > G : var-decl

G: VAR Graph[T]