Definition at line 139 of file overload.cpp.
| via_tuple_routine_rep | ( | const routine & | fun2, |
| const vector< nat > & | sig2, | ||
| nat | n2 | ||
| ) | [inline] |
Definition at line 144 of file overload.cpp.
:
routine_rep (gen (GEN_VIA_TUPLE, fun2->name)),
fun (fun2), sig (sig2), n (n2) {}
| generic apply | ( | const vector< generic > & | v ) | const [inline] |
Definition at line 147 of file overload.cpp.
{
vector<generic> w= range (v, 0, n-2);
generic t= gen (GEN_TUPLE, range (v, n-2, N(v)));
w << as<generic> (tuple<generic> (t));
return fun->apply (w); }
| vector<nat> signature | ( | ) | const [inline] |
Definition at line 152 of file overload.cpp.
{ return sig; }
1.7.2