@Override
    public void param(ParamType param) {
      myDepth++;
      if (maxDepthExceeded()) {
        add(styled("...", PyHighlighter.PY_DOT));
        return;
      }
      if (param.name != null) {
        add(styled(param.name, PyHighlighter.PY_PARAMETER));
      }
      if (param.type != null) {
        if (param.name != null) {
          add(styled(": ", PyHighlighter.PY_OPERATION_SIGN));
        }
        param.type.accept(this);
      }
      myDepth--;
    }
@Override
    public void param(ParamType param)