void (FunctionType function) { myDepth++; if (maxDepthExceeded()) { add(styled("...", PyHighlighter.PY_DOT)); return; } add(styled("(", PyHighlighter.PY_PARENTHS)); final Collection<TypeModel> parameters = function.parameters; if (parameters != null) { processList(parameters); } else { add(styled("...", PyHighlighter.PY_DOT)); } add(styled(")", PyHighlighter.PY_PARENTHS)); add(escaped(" -> ")); function.returnType.accept(this); myDepth--; }