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

g: VAR graph[T]