... | ... | @@ -179,7 +179,7 @@ with: |
|
|
>
|
|
|
> >
|
|
|
> >
|
|
|
> > 1) *b<sub>1</sub>* uses a variable *x* that has no type signature and is defined by *b<sub>2</sub>*, or
|
|
|
> > 1) *b<sub>1</sub>* contains a free identifier that has no type signature and is bound by *b<sub>2</sub>*, or
|
|
|
> >
|
|
|
> >
|
|
|
>
|
... | ... | |