{ height : Basics.Int
, width : Basics.Int
}
https://docs.jwplayer.com/players/reference/resize-eventsd#onresize
decoder : Json.Decode.Decoder Resize
A JSON decoder.
encode : Resize -> Json.Encode.Value
A JSON encoder.
tag : String
The tag that describes this type.