blob: 204860114764870d9a1cd4054946a8cdd6072b59 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
abstract channel = {
cat
Channel ;
fun
--channel0 : Channel ;
channel1 : Channel ;
channel2 : Channel ;
channel3 : Channel ;
channel4 : Channel ;
channel5 : Channel ;
channel6 : Channel ;
channel7 : Channel ;
channel8 : Channel ;
channel9 : Channel ;
channel10 : Channel ;
channel11 : Channel ;
channel12 : Channel ;
channel13 : Channel ;
channel14 : Channel ;
channel15 : Channel ;
}
|
