code: private String typeAnnotation(Options opt, Type t) {
  	if (t.typeName().equals("void"))
  	    return "";
  	return " : " + type(opt, t, false) + t.dimension();
      }
docs: Annotate an field/argument with its type t