1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
|
"f" (i1, i2, i3, i4, i5,
i6, i7, i8, i9, i10,
f1, f2, f3, f4, f5,
f6, f7, f8, f9, f10,
f11, f12, f13, f14, f15):
int -> int -> int -> int -> int ->
int -> int -> int -> int -> int ->
float -> float -> float -> float -> float ->
float -> float -> float -> float -> float ->
float -> float -> float -> float -> float -> void
{
"print_int"(i1): int -> void;
"print_int"(i2): int -> void;
"print_int"(i3): int -> void;
"print_int"(i4): int -> void;
"print_int"(i5): int -> void;
"print_int"(i6): int -> void;
"print_int"(i7): int -> void;
"print_int"(i8): int -> void;
"print_int"(i9): int -> void;
"print_int"(i10): int -> void;
"print_float"(f1): float -> void;
"print_float"(f2): float -> void;
"print_float"(f3): float -> void;
"print_float"(f4): float -> void;
"print_float"(f5): float -> void;
"print_float"(f6): float -> void;
"print_float"(f7): float -> void;
"print_float"(f8): float -> void;
"print_float"(f9): float -> void;
"print_float"(f10): float -> void;
"print_float"(f11): float -> void;
"print_float"(f12): float -> void;
"print_float"(f13): float -> void;
"print_float"(f14): float -> void;
"print_float"(f15): float -> void;
}
"g" (i1, i2, i3, i4, i5,
f1, f2, f3, f4, f5):
int -> int -> int -> int -> int ->
float -> float -> float -> float -> float -> void
{
"f"(i1,i2,i3,i4,i5, i1,i2,i3,i4,i5,
f1,f2,f3,f4,f5, f1,f2,f3,f4,f5, f1,f2,f3,f4,f5):
int -> int -> int -> int -> int ->
int -> int -> int -> int -> int ->
float -> float -> float -> float -> float ->
float -> float -> float -> float -> float ->
float -> float -> float -> float -> float -> void;
}
|
