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

V: VAR finite set[T]