Definition at line 118 of file overload.cpp.
equalize_grouped_routine_rep | ( | const routine & | fun2, | |
const vector< nat > & | sig2 | |||
) | [inline] |
Definition at line 122 of file overload.cpp.
00122 : 00123 routine_rep (gen (GEN_EQUALIZE_GROUPED, fun2->name)), 00124 fun (fun2), sig (sig2) {} generic apply (const vector<generic>& args) const {