printDocArg("arg", "ATerm to be converted");
printDocArg("t", "ATerm to be converted");
	private void genFromTerm(String type_id, String type_name) {		if (getCGenerationParameters().isTermCompatibility()) {			String old_macro = "#define " + prefix + "make" + type_id					+ "FromTerm(t)" + " (" + prefix + type_id + "FromTerm(t))";			hprintln(old_macro);		}		String decl = type_name + " " + prefix + type_id + "FromTerm(ATerm t)";		hprintln(decl + ";");		printDocHead("Transforms an ATerm " + "to a " + type_name,"This is just a wrapper for a cast, so no structural validation is done!");		printDocArg("arg", "ATerm to be converted");		printDocReturn(type_name + " that was encoded by \\arg");		printDocTail();		printFoldOpen(decl);		println(decl + " {");		//		println("{");		println("  return (" + type_name + ")t;");		println("}");		println();		printFoldClose();	}