[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

PVS Grammar

hi !

i'm writting a parser for a subset of PVS using the PVS grammar in the
reference manual and i couldnot find a production for a name used on the
right-hand side of another production.

here it is :

subtype ::= { set-formals | expr }
	    | (expr)

and i didnot find any production for 'set-formals'

set-formals ::= ??

any help regarding this would be most appreciated.