printDocReturn("A new " + typeName + "with |elem| replaced in |arg| at position |index|");
printDocReturn("A new " + typeName + "with #elem replaced in #arg at position #index");
	private void genReplaceElementAt(ListType type, String typeId,			String typeName, String elementTypeId, String elementTypeName,			String index) {		String conversion = genBuiltinToATerm(type.getElementType(), "elem");		String decl = typeName + " " + prefix + "replace" + typeId				+ elementTypeId + "At(" + typeName + " arg, " + elementTypeName				+ " elem, int index)";		printDocHead("Replace the " + elementTypeName + " at |index| from a " + typeName + " by a new one", "");		printDocArg("arg", typeName + " to retrieve the " + elementTypeName + " from");		printDocArg("elem", "new " + elementTypeName + " to replace another");		printDocArg("index", "index to use to point in the " + typeName);		printDocReturn("A new " + typeName + "with |elem| replaced in |arg| at position |index|");		printDocTail();		hprintln(decl + ";");		println(decl + " {");		println(" return (" + typeName				+ ") ATreplace((ATermList) arg, (ATerm) " + conversion + ", "				+ index + ");");		println("}");		println();	}