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

p: VAR nat