printDocReturn("a reversed |arg|");
printDocReturn("a reversed #arg");
	private void genReverse(String typeId, String typeName) {		String decl = typeName + " " + prefix + "reverse" + typeId + "("				+ typeName + " arg)";		printDocHead("Reverse a " + typeName,"");		printDocArg("arg", typeName + " to be reversed");		printDocReturn("a reversed |arg|");		printDocTail();		hprintln(decl + ";");		println(decl + " {");		println("  return (" + typeName + ") ATreverse((ATermList) arg);");		println("}");		println();	}