static string mkTypeParamDoc(int i)
{
if (i == 0) return "\r\n";
if (i == 1) return " ///<typeparam name=\"P0\"> the type of continuation argument <c>p0</c>.</typeparam>\r\n";
else return mkTypeParamDoc(i - 1) + " ///<typeparam name=\"P" + (i - 1) + "\"> the type of continuation argument <c>p" + (i - 1) + "</c>.</typeparam>\r\n";
}