-
Andrei Paskevich authored
Up to now, WhyML managed without generalization in let-in, since we only generalized function definitions in Erec. This patch adds generalization of arrow-types values, such as effectless Eany (= abstract local functions), anonymous functions and psymbols.
07d793f0