Andrey Breslav
13 lines
306 B
Plaintext
13 lines
306 B
Plaintext
fun foo)
|
|
fun [a] f foo()
|
|
fun [a] T.foo(a : ) : bar
|
|
fun [a()] T.foo<T : {(a) : b>(a : foo) : bar
|
|
fun [a()] T.foo<>(a : foo) : bar
|
|
fun [a()] T.foo<T, , T>(a : foo) : bar
|
|
fun [a()] T.foo<, T, , T>(a : foo) : bar
|
|
fun [a()] T.foo<T, T>(, a : foo, , a: b) : bar
|
|
|
|
fun foo() : = a;
|
|
|
|
|
|
fun {[a] T<T>.(A<B>) : ()}.-() |