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 GeoJSONEvent =
          Interface "L.GeoJSONEvent"
          |=> Extends [Event]
          |+> [
              "layer" =? ILayer
              |> WithComment "The layer for the GeoJSON feature that is being added to the map."
              "properties" =? T<obj>
  
negative.code:         ]
  
      let Event =
          Class "L.Event"
          |+> Protocol [
              "type" =? T<string>
              |> WithComment "The event type (e.g. 'click')."
              "target" =? T<obj>
  