stypeparameter
stypeparameter
:=
statements
|
NAME
:
sarrow
statements
|
NAME