Expand partial function applications of type type.
Expand partial function applications of type type.
p.f(es_1)...(es_n)
==> {
private synthetic val eta$f = p.f // if p is not stable
...
private synthetic val eta$e_i = e_i // if e_i is not stable
...
(ps_1 => ... => ps_m => eta$f([es_1])...([es_m])(ps_1)...(ps_m))
}
tree is already attributed
This trait ...
1.0