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

q: VAR nat