abstract member HAVE_CURRENT_DATA: float
abstract member HAVE_ENOUGH_DATA: float
abstract member HAVE_FUTURE_DATA: float
abstract member HAVE_NOTHING: float
abstract member NETWORK_EMPTY: float
abstract member NETWORK_IDLE: float
abstract member NETWORK_LOADING: float
abstract member NETWORK_NO_SOURCE: float
abstract member autoplay: bool with get, set
abstract member buffered: TimeRanges
abstract member controls: bool with get, set
abstract member crossOrigin: string option with get, set
abstract member currentSrc: string
abstract member currentTime: float with get, set
abstract member defaultMuted: bool with get, set
abstract member defaultPlaybackRate: float with get, set
abstract member disableRemotePlayback: bool with get, set
abstract member duration: float
abstract member ended: bool
abstract member error: MediaError option
abstract member loop: bool with get, set
abstract member muted: bool with get, set
abstract member networkState: float
abstract member onencrypted: (MediaEncryptedEvent -> unit) option with get, set
abstract member onwaitingforkey: (Event -> unit) option with get, set
abstract member paused: bool
abstract member playbackRate: float with get, set
abstract member played: TimeRanges
abstract member preload: Preload with get, set
abstract member preservesPitch: bool with get, set
abstract member readyState: float
abstract member remote: RemotePlayback
abstract member seekable: TimeRanges
abstract member seeking: bool
abstract member sinkId: string
abstract member src: string with get, set
abstract member srcObject: MediaProvider option with get, set
abstract member textTracks: TextTrackList
abstract member volume: float with get, set