docs: def Addition(left: vertex_constructor_param_types, right: vertex_constructor_param_types, label: Optional[str]=None) -> Vertex:
      """
      Adds one vertex to another
      
      :param left: a vertex to add
      :param right: a vertex to add
      """
      return Double(context.jvm_view().AdditionVertex, label, cast_to_double_vertex(left), cast_to_double_vertex(right))