printDocReturn("new " + typeName + " with |elem| appended");
printDocReturn("new " + typeName + " with #elem appended");
	private void genAppend(ListType type, String typeId, String typeName,			String elementTypeName) {		// TODO: remove superfluous arguments		String conversion = genBuiltinToATerm(type.getElementType(), "elem");		String decl = typeName + " " + prefix + "append" + typeId + "("				+ typeName + " arg, " + elementTypeName + " elem)";		printDocHead("Append a " + elementTypeName + " to the end of a " + typeName, "");		printDocArg("arg", typeName + " to append the " + elementTypeName + " to");		printDocArg("elem", elementTypeName + " to be appended");		printDocReturn("new " + typeName + " with |elem| appended");		printDocTail();		hprintln(decl + ";");		println(decl + " {");		println("  return (" + typeName				+ ") ATappend((ATermList) arg, (ATerm) " + conversion + ");");		println("}");		println();	}