public override string ToString() { string s = base.ToString(); if (!ReturnType.IsVoid) s += ":" + ReturnType.FullName; return s; }