[clean-list] questions about ClassDef

[Jigang Sun]

Hi,

question 1: if the DefOfFunction in the folloing grammar is FunctionDef? Since I noticed examples in the language report or library are with FunctionTypeDefs.

question 2: Is Type+ {Type}+ ?

TypeClassInstanceDef = instance ClassName Type+ [ClassContext]
[[where] {{DefOfFunction}+ }] // in implementation modules
[special {TypeVariable = Type}+] // in definition modules


Thanks.
Jigang