docs: def IntegerMax(left: vertex_constructor_param_types, right: vertex_constructor_param_types, label: Optional[str]=None) -> Vertex:
      """
      Finds the maximum between two vertices
      
      :param left: one of the vertices to find the maximum of
      :param right: one of the vertices to find the maximum of
      """
      return Integer(context.jvm_view().IntegerMaxVertex, label, cast_to_integer_vertex(left), cast_to_integer_vertex(right))