anchor.diff:          ]
           |+> Protocol [
               // Methods
  -            "setView" => LatLng?center * !?T<int>?zoom * !?ZoomPanOptions?options ^-> T<unit>
  +            "setView" => LatLngOrCoords?center * !?T<int>?zoom * !?ZoomPanOptions?options ^-> T<unit>
               |> WithComment "Sets the view of the map (geographical center and zoom) with the given animation options."
               "setZoom" => T<int>?zoom * !?ZoomOptions?options ^-> T<unit>
               |> WithComment "Sets the zoom of the map."
  
positive.code:         ]
  
      let ResizeEvent =
          Interface "L.ResizeEvent"
          |=> Extends [Event]
          |+> [
              "oldSize" =? Point
              |> WithComment "The old size before resize event."
              "newSize" =? Point
  
negative.code:         ]
  
      let PopupEvent =
          Class "L.PopupEvent"
          |=> Inherits Event
          |+> Protocol [
              "popup" =? PopupT
              |> WithComment "The popup that was opened or closed."
          ]
  
      let DragEndEvent =
          Class "L.DragEndEvent"
          |=> Inherits Event
          |+> Protocol [
              "distance" =? T<int>
              |> WithComment "The distance in pixels the draggable element was moved by."
          ]
  