... | ... | @@ -206,7 +206,7 @@ with |
|
|
|
|
|
>
|
|
|
>
|
|
|
> This declaration introduces a new type constructor T with zero or more constituent data constructors K1, …, Kn.
|
|
|
> This declaration introduces a new type constructor T with zero or more constituent data constructors K0, …, Kn.
|
|
|
>
|
|
|
>
|
|
|
>
|
... | ... | |