16 lines
156 B
Plaintext
16 lines
156 B
Plaintext
struct {
|
|
|
|
T1 = Fn<A>(a: A) -> A {
|
|
return a;
|
|
};
|
|
|
|
T2 = Fn<b>(a: b) -> b {
|
|
return a;
|
|
};
|
|
|
|
T3 = Fn<c>(a: c) -> c {
|
|
return T2<c>(T2<c>(T1<c>(a)));
|
|
};
|
|
|
|
} main;
|