17 lines
187 B
Plaintext
17 lines
187 B
Plaintext
struct {
|
|
|
|
struct And<P, Q>(p: P, q: Q) {
|
|
left = Fn<>() -> P {
|
|
return p;
|
|
};
|
|
right = Fn<>() -> Q {
|
|
return q;
|
|
};
|
|
};
|
|
|
|
AndLeft = Fn<P, Q>(h: And<P, Q>) -> P {
|
|
return h.p;
|
|
};
|
|
|
|
} main;
|