printDocReturn("the " + field.getId() + " of |arg|, if it exist or an undefined value if it does not");
printDocReturn("the " + field.getId() + " of #arg, if it exist or an undefined value if it does not");
	private void genGetField(Type type, Field field) {		String type_name = buildTypeName(type);		String field_type_name = buildTypeName(field.getType());		String decl = field_type_name + " " + buildGetterName(type, field)				+ "(" + type_name + " arg)";		hprintln(decl + ";");		printDocHead("Get the " + field.getId() + " " + field_type_name + " of a " + type_name, "Note that the precondition is that this " + type_name + " actually has a " + field.getId());		printDocArg("arg","input " + type_name);		printDocReturn("the " + field.getId() + " of |arg|, if it exist or an undefined value if it does not");		printDocTail();		printFoldOpen(decl);		println(decl + " {");		genGetFieldBody(type, field, field_type_name);		println("}");		println();		printFoldClose();	}