printDocReturn("ATtrue if \\first was equal to \\second, ATfalse otherwise");
printDocReturn("ATtrue if #arg0 was equal to #arg1, ATfalse otherwise");
	private void genIsEquals(ADT api) {		Iterator types = api.typeIterator();		bothPrintFoldOpen("equality functions");		while (types.hasNext()) {			Type type = (Type) types.next();			String type_id = StringConversions.makeIdentifier(type.getId());			String type_name = buildTypeName(type);			String decl = "ATbool " + prefix + "isEqual" + type_id + "("					+ type_name + " arg0, " + type_name + " arg1)";			hprintln(decl + ";");			printDocHead("Tests equality of two " + type_name + "s","A constant time operation.");			printDocArg("arg0", "first " + type_name + " to be compared");			printDocArg("arg1", "second " + type_name + " to be compared");			printDocReturn("ATtrue if \\first was equal to \\second, ATfalse otherwise");			printDocTail();			println(decl + " {");			println("  return ATisEqual((ATerm)arg0, (ATerm)arg1);");			println("}");			if (types.hasNext()) {				println();			}		}		println();		bothPrintFoldClose();	}