println();  genTomAltOperators(type);
	private void genTomType(Type type) {		if (type instanceof ListType) {			String eltType = ((ListType) type).getElementType();						println(				TypeListTemplate(					impl.TypeName(type.getId()),					impl.TypeImpl(prefix + type.getId()),					impl.TypeGetFunSym("t"),					impl.TypeCmpFunSym("s1", "s2"),					impl.TypeEquals(type.getId(), "t1", "t2"),					impl.ListHead(type.getId()),					impl.ListTail(type.getId()),					impl.ListEmpty(type.getId())));			println("");			println("%oplist " + type.getId() + " conc" + eltType + "(" + eltType + "*) {");			println("  fsym { null }");			println("  is_fsym(t) {" + impl.ListIsList("t",type.getId()) + "}");			println("  make_empty() {" + impl.ListmakeEmpty(type.getId()) + "}");			println("  make_insert(e,l) {" + impl.ListmakeInsert(type.getId(), eltType) +"}");			println("}");		} else {			println(				TypeTermTemplate(					impl.TypeName(type.getId()),					impl.TypeImpl(prefix + type.getId()),					impl.TypeGetFunSym("t"),					impl.TypeCmpFunSym("s1", "s2"),					impl.TypeGetSubTerm("t", "n"),					impl.TypeEquals(type.getId(), "t1", "t2")));		}		println();		genTomAltOperators(type);	}