| apply() const | change_signature_routine_rep |  [inline, virtual] | 
| apply(const generic &x1) const | change_signature_routine_rep |  [inline, virtual] | 
| apply(const generic &x1, const generic &x2) const | change_signature_routine_rep |  [inline, virtual] | 
| apply(const vector< generic > &v) const | change_signature_routine_rep |  [inline, virtual] | 
| change_signature_routine_rep(const routine &r2, const vector< nat > &sig2) | change_signature_routine_rep |  [inline] | 
| clone() const | routine_rep |  [virtual] | 
| function_body() const | routine_rep |  [virtual] | 
| function_type() const | routine_rep |  [virtual] | 
| is_overloaded() const | routine_rep |  [virtual] | 
| meanings() const | routine_rep |  [virtual] | 
| name | routine_rep | |
| overload(const routine &fun) const | routine_rep |  [virtual] | 
| ref_count | rep_struct | |
| rep_struct() | rep_struct |  [inline] | 
| routine_rep(const generic &name2) | routine_rep |  [inline] | 
| signature() const | change_signature_routine_rep |  [inline, virtual] | 
| ~rep_struct() | rep_struct |  [inline, virtual] | 
| ~routine_rep() | routine_rep |  [inline, virtual] | 
 1.6.1
 1.6.1