printFoldClose();
	private void genConstructors(ADT api) {		Iterator types = api.typeIterator();		bothPrintFoldOpen("constructors");		while (types.hasNext()) {			Type type = (Type) types.next();			String type_name = buildTypeName(type);			Iterator alts = type.alternativeIterator();			while (alts.hasNext()) {				Alternative alt = (Alternative) alts.next();				String decl = buildConstructorDecl(type, alt);				hprintln(decl + ";");				printFoldOpen(decl.toString());				println(decl);				println("{");				println(					"  return ("						+ type_name						+ ")"						+ genConstructorImpl(alt.getPattern())						+ ";");				println("}");			}		}		bothPrintFoldClose();	}