[r2006-05-29 15:09:50 by ngesbert] Slightly modified the description of the general syntax of a function
expression: the number of types in the abstraction has nothing to do
with the number of branches in the pattern matching, so they shouldn't
both be called "n"

Original author: ngesbert
Date: 2006-05-29 15:09:50+00:00