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

n: VAR nat