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


G: VAR Graph[T]