public static string FunctionSignatureToString(Function f)
{
Contract.Requires(f != null);
using (var wr = new System.IO.StringWriter()) {
var pr = new Printer(wr);
pr.PrintFunction(f, 0, true);
return ToStringWithoutNewline(wr);
}
}
