mirror of
https://github.com/unisonweb/unison.git
synced 2024-09-11 10:35:57 +03:00
12 lines
230 B
Markdown
12 lines
230 B
Markdown
```ucm:hide
|
|
scratch/main> alias.type ##Nat Nat
|
|
scratch/main> alias.term ##Any.Any Any
|
|
```
|
|
|
|
```unison
|
|
structural type Zoink a b c = Zoink a b c
|
|
|
|
> Any ()
|
|
> [ Zoink [0,1,2,3,4,5] [6,3,3,3,3,3,3,3,3,3,3,4,4,4,4,4,4,4,4,4,3] () ]
|
|
```
|