printDocReturn(typeName + " with the elements of |arg0| before the elements of |arg1|");
printDocReturn(typeName + " with the elements of #arg0 before the elements of #arg1");
	private void genConcat(String typeId, String typeName) {		String decl = typeName + " " + prefix + "concat" + typeId + "("				+ typeName + " arg0, " + typeName + " arg1)";		hprintln(decl + ";");		printDocHead("Concatenate two " + typeName + "s","");		printDocArg("arg0","first " + typeName);		printDocArg("arg1","second " + typeName);		printDocReturn(typeName + " with the elements of |arg0| before the elements of |arg1|");		printDocTail();		println(decl + " {");		println("  return (" + typeName				+ ") ATconcat((ATermList) arg0, (ATermList) arg1);");		println("}");		println();	}