@rescript/webapi 0.1.0-alpha-b1d58f9

package/src/html/HTMLLabelElement.res

@@ -0,0 +1,25 @@
+/**
+Gives access to properties specific to <label> elements. It inherits methods and properties from the base HTMLElement interface.
+[See HTMLLabelElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLLabelElement)
+TODO: mark as private once mutating fields of private records is allowed
+*/
+type t = {
+  ...DOMTree.htmlElement,
+  /**
+    Retrieves a reference to the form that the object is embedded in.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLLabelElement/form)
+    */
+  form: Null.t<DOMTree.htmlFormElement>,
+  /**
+    Sets or retrieves the object to which the given label object is assigned.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLLabelElement/htmlFor)
+    */
+  mutable htmlFor: string,
+  /**
+    Returns the form control that is associated with this element.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLLabelElement/control)
+    */
+  control: Null.t<DOMTree.htmlElement>,
+}
+
+include HTMLElement.Impl({type t = t})

package/src/html/HTMLLegendElement.res

@@ -0,0 +1,14 @@
+/**
+The HTMLLegendElement is an interface allowing to access properties of the <legend> elements. It inherits properties and methods from the HTMLElement interface.
+[See HTMLLegendElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLLegendElement)
+*/
+type t = private {
+  ...DOMTree.htmlElement,
+  /**
+    Retrieves a reference to the form that the object is embedded in.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLLegendElement/form)
+    */
+  form: Null.t<DOMTree.htmlFormElement>,
+}
+
+include HTMLElement.Impl({type t = t})

package/src/html/HTMLLinkElement.res

@@ -0,0 +1,69 @@
+/**
+Reference information for external resources and the relationship of those resources to a document and vice-versa. This object inherits all of the properties and methods of the HTMLElement interface.
+[See HTMLLinkElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLLinkElement)
+TODO: mark as private once mutating fields of private records is allowed
+*/
+type t = {
+  ...DOMTree.htmlElement,
+  /**
+    Sets or retrieves a destination WebApiURL or an anchor point.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLLinkElement/href)
+    */
+  mutable href: string,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLLinkElement/crossOrigin)
+    */
+  mutable crossOrigin: Null.t<string>,
+  /**
+    Sets or retrieves the relationship between the object and the destination of the link.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLLinkElement/rel)
+    */
+  mutable rel: string,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLLinkElement/as)
+    */
+  @as("as")
+  mutable as_: string,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLLinkElement/relList)
+    */
+  relList: DOM.domTokenList,
+  /**
+    Sets or retrieves the media type.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLLinkElement/media)
+    */
+  mutable media: string,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLLinkElement/integrity)
+    */
+  mutable integrity: string,
+  /**
+    Sets or retrieves the language code of the object.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLLinkElement/hreflang)
+    */
+  mutable hreflang: string,
+  /**
+    Sets or retrieves the MIME type of the object.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLLinkElement/type)
+    */
+  @as("type")
+  mutable type_: string,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLLinkElement/referrerPolicy)
+    */
+  mutable referrerPolicy: string,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLLinkElement/disabled)
+    */
+  mutable disabled: bool,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLLinkElement/fetchPriority)
+    */
+  mutable fetchPriority: string,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLLinkElement/sheet)
+    */
+  sheet: Null.t<StyleSheet.cssStyleSheet>,
+}
+
+include HTMLElement.Impl({type t = t})

package/src/html/HTMLMapElement.res

@@ -0,0 +1,20 @@
+/**
+Provides special properties and methods (beyond those of the regular object HTMLElement interface it also has available to it by inheritance) for manipulating the layout and presentation of map elements.
+[See HTMLMapElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMapElement)
+TODO: mark as private once mutating fields of private records is allowed
+*/
+type t = {
+  ...DOMTree.htmlElement,
+  /**
+    Sets or retrieves the name of the object.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMapElement/name)
+    */
+  mutable name: string,
+  /**
+    Retrieves a collection of the area objects defined for the given map object.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMapElement/areas)
+    */
+  areas: HTMLCollection.t<DOMTree.element>,
+}
+
+include HTMLElement.Impl({type t = t})

package/src/html/HTMLMenuElement.res

@@ -0,0 +1,8 @@
+/**
+[See HTMLMenuElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMenuElement)
+*/
+type t = private {
+  ...DOMTree.htmlElement,
+}
+
+include HTMLElement.Impl({type t = t})

package/src/html/HTMLMetaElement.res

@@ -0,0 +1,29 @@
+/**
+Contains descriptive metadata about a document. It inherits all of the properties and methods described in the HTMLElement interface.
+[See HTMLMetaElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMetaElement)
+TODO: mark as private once mutating fields of private records is allowed
+*/
+type t = {
+  ...DOMTree.htmlElement,
+  /**
+    Sets or retrieves the value specified in the content attribute of the meta object.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMetaElement/name)
+    */
+  mutable name: string,
+  /**
+    Gets or sets information used to bind the value of a content attribute of a meta element to an HTTP response header.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMetaElement/httpEquiv)
+    */
+  mutable httpEquiv: string,
+  /**
+    Gets or sets meta-information to associate with httpEquiv or name.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMetaElement/content)
+    */
+  mutable content: string,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMetaElement/media)
+    */
+  mutable media: string,
+}
+
+include HTMLElement.Impl({type t = t})

package/src/html/HTMLMeterElement.res

@@ -0,0 +1,38 @@
+/**
+The HTML <meter> elements expose the HTMLMeterElement interface, which provides special properties and methods (beyond the HTMLElement object interface they also have available to them by inheritance) for manipulating the layout and presentation of <meter> elements.
+[See HTMLMeterElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMeterElement)
+TODO: mark as private once mutating fields of private records is allowed
+*/
+type t = {
+  ...DOMTree.htmlElement,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMeterElement/value)
+    */
+  mutable value: float,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMeterElement/min)
+    */
+  mutable min: float,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMeterElement/max)
+    */
+  mutable max: float,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMeterElement/low)
+    */
+  mutable low: float,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMeterElement/high)
+    */
+  mutable high: float,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMeterElement/optimum)
+    */
+  mutable optimum: float,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMeterElement/labels)
+    */
+  labels: DOM.nodeList<HTMLLabelElement.t>,
+}
+
+include HTMLElement.Impl({type t = t})

package/src/html/HTMLModElement.res

@@ -0,0 +1,9 @@
+/**
+Provides special properties (beyond the regular methods and properties available through the HTMLElement interface they also have available to them by inheritance) for manipulating modification elements, that is <del> and <ins>.
+[See HTMLModElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLModElement)
+*/
+type t = private {
+  ...DOMTree.htmlElement,
+}
+
+include HTMLElement.Impl({type t = t})

package/src/html/HTMLOListElement.res

@@ -0,0 +1,24 @@
+/**
+Provides special properties (beyond those defined on the regular HTMLElement interface it also has available to it by inheritance) for manipulating ordered list elements.
+[See HTMLOListElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLOListElement)
+TODO: mark as private once mutating fields of private records is allowed
+*/
+type t = {
+  ...DOMTree.htmlElement,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLOListElement/reversed)
+    */
+  mutable reversed: bool,
+  /**
+    The starting number.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLOListElement/start)
+    */
+  mutable start: int,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLOListElement/type)
+    */
+  @as("type")
+  mutable type_: string,
+}
+
+include HTMLElement.Impl({type t = t})

package/src/html/HTMLObjectElement.res

@@ -0,0 +1,89 @@
+/**
+Provides special properties and methods (beyond those on the HTMLElement interface it also has available to it by inheritance) for manipulating the layout and presentation of <object> element, representing external resources.
+[See HTMLObjectElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLObjectElement)
+TODO: mark as private once mutating fields of private records is allowed
+*/
+type t = {
+  ...DOMTree.htmlElement,
+  /**
+    Sets or retrieves the WebApiURL that references the data of the object.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLObjectElement/data)
+    */
+  mutable data: string,
+  /**
+    Sets or retrieves the MIME type of the object.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLObjectElement/type)
+    */
+  @as("type")
+  mutable type_: string,
+  /**
+    Sets or retrieves the name of the object.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLObjectElement/name)
+    */
+  mutable name: string,
+  /**
+    Retrieves a reference to the form that the object is embedded in.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLObjectElement/form)
+    */
+  form: Null.t<DOMTree.htmlFormElement>,
+  /**
+    Sets or retrieves the width of the object.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLObjectElement/width)
+    */
+  mutable width: string,
+  /**
+    Sets or retrieves the height of the object.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLObjectElement/height)
+    */
+  mutable height: string,
+  /**
+    Retrieves the document object of the page or frame.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLObjectElement/contentDocument)
+    */
+  contentDocument: Null.t<DOM.document>,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLObjectElement/contentWindow)
+    */
+  contentWindow: Null.t<DOM.window>,
+  /**
+    Returns whether an element will successfully validate based on forms validation rules and constraints.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLObjectElement/willValidate)
+    */
+  willValidate: bool,
+  /**
+    Returns a  ValidityState object that represents the validity states of an element.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLObjectElement/validity)
+    */
+  validity: DOM.validityState,
+  /**
+    Returns the error message that would be displayed if the user submits the form, or an empty string if no error message. It also triggers the standard error message, such as "this is a required field". The result is that the user sees validation messages without actually submitting.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLObjectElement/validationMessage)
+    */
+  validationMessage: string,
+}
+
+include HTMLElement.Impl({type t = t})
+
+@send
+external getSVGDocument: t => Null.t<DOM.document> = "getSVGDocument"
+
+/**
+Returns whether a form will validate when it is submitted, without having to submit it.
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLObjectElement/checkValidity)
+*/
+@send
+external checkValidity: t => bool = "checkValidity"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLObjectElement/reportValidity)
+*/
+@send
+external reportValidity: t => bool = "reportValidity"
+
+/**
+Sets a custom error message that is displayed when a form is submitted.
+@param error Sets a custom error message that is displayed when a form is submitted.
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLObjectElement/setCustomValidity)
+*/
+@send
+external setCustomValidity: (t, string) => unit = "setCustomValidity"

package/src/html/HTMLOptGroupElement.res

@@ -0,0 +1,19 @@
+/**
+Provides special properties and methods (beyond the regular HTMLElement object interface they also have available to them by inheritance) for manipulating the layout and presentation of <optgroup> elements.
+[See HTMLOptGroupElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLOptGroupElement)
+TODO: mark as private once mutating fields of private records is allowed
+*/
+type t = {
+  ...DOMTree.htmlElement,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLOptGroupElement/disabled)
+    */
+  mutable disabled: bool,
+  /**
+    Sets or retrieves a value that you can use to implement your own label functionality for the object.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLOptGroupElement/label)
+    */
+  mutable label: string,
+}
+
+include HTMLElement.Impl({type t = t})

package/src/html/HTMLOptionElement.res

@@ -0,0 +1,49 @@
+/**
+<option> elements and inherits all classes and methods of the HTMLElement interface.
+[See HTMLOptionElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLOptionElement)
+TODO: mark as private once mutating fields of private records is allowed
+*/
+type t = {
+  ...DOMTree.htmlElement,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLOptionElement/disabled)
+    */
+  mutable disabled: bool,
+  /**
+    Retrieves a reference to the form that the object is embedded in.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLOptionElement/form)
+    */
+  form: Null.t<DOMTree.htmlFormElement>,
+  /**
+    Sets or retrieves a value that you can use to implement your own label functionality for the object.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLOptionElement/label)
+    */
+  mutable label: string,
+  /**
+    Sets or retrieves the status of an option.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLOptionElement/defaultSelected)
+    */
+  mutable defaultSelected: bool,
+  /**
+    Sets or retrieves whether the option in the list box is the default item.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLOptionElement/selected)
+    */
+  mutable selected: bool,
+  /**
+    Sets or retrieves the value which is returned to the server when the form control is submitted.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLOptionElement/value)
+    */
+  mutable value: string,
+  /**
+    Sets or retrieves the text string specified by the option tag.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLOptionElement/text)
+    */
+  mutable text: string,
+  /**
+    Sets or retrieves the ordinal position of an option in a list box.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLOptionElement/index)
+    */
+  index: int,
+}
+
+include HTMLElement.Impl({type t = t})

package/src/html/HTMLOptionsCollection.res

@@ -0,0 +1,35 @@
+/**
+HTMLOptionsCollection is an interface representing a collection of HTML option elements (in document order) and offers methods and properties for traversing the list as well as optionally altering its items. This type is returned solely by the "options" property of select.
+[See HTMLOptionsCollection on MDN](https://developer.mozilla.org/docs/Web/API/HTMLOptionsCollection)
+TODO: mark as private once mutating fields of private records is allowed
+*/
+type t = {
+  ...HTMLCollection.t<HTMLOptionElement.t>,
+  /**
+    Returns the index of the first selected item, if any, or -1 if there is no selected item.
+
+Can be set, to change the selection.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLOptionsCollection/selectedIndex)
+    */
+  mutable selectedIndex: int,
+}
+
+/**
+Inserts element before the DOMTree.node given by before.
+
+The before argument can be a number, in which case element is inserted before the item with that number, or an element from the collection, in which case element is inserted before that element.
+
+If before is omitted, null, or a number out of range, then element will be added at the end of the list.
+
+This method will throw a "HierarchyRequestError" DOMException if element is an ancestor of the element into which it is to be inserted.
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLOptionsCollection/add)
+*/
+@throws(JsExn) @send
+external add: (t, ~element: unknown, ~before: unknown=?) => unit = "add"
+
+/**
+Removes the item with index index from the collection.
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLOptionsCollection/remove)
+*/
+@send
+external remove: (t, int) => unit = "remove"

package/src/html/HTMLOutputElement.res

@@ -0,0 +1,73 @@
+/**
+Provides properties and methods (beyond those inherited from HTMLElement) for manipulating the layout and presentation of <output> elements.
+[See HTMLOutputElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLOutputElement)
+TODO: mark as private once mutating fields of private records is allowed
+*/
+type t = {
+  ...DOMTree.htmlElement,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLOutputElement/htmlFor)
+    */
+  htmlFor: DOM.domTokenList,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLOutputElement/form)
+    */
+  form: Null.t<DOMTree.htmlFormElement>,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLOutputElement/name)
+    */
+  mutable name: string,
+  /**
+    Returns the string "output".
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLOutputElement/type)
+    */
+  @as("type")
+  type_: string,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLOutputElement/defaultValue)
+    */
+  mutable defaultValue: string,
+  /**
+    Returns the element's current value.
+
+Can be set, to change the value.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLOutputElement/value)
+    */
+  mutable value: string,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLOutputElement/willValidate)
+    */
+  willValidate: bool,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLOutputElement/validity)
+    */
+  validity: DOM.validityState,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLOutputElement/validationMessage)
+    */
+  validationMessage: string,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLOutputElement/labels)
+    */
+  labels: DOM.nodeList<HTMLLabelElement.t>,
+}
+
+include HTMLElement.Impl({type t = t})
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLOutputElement/checkValidity)
+*/
+@send
+external checkValidity: t => bool = "checkValidity"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLOutputElement/reportValidity)
+*/
+@send
+external reportValidity: t => bool = "reportValidity"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLOutputElement/setCustomValidity)
+*/
+@send
+external setCustomValidity: (t, string) => unit = "setCustomValidity"

package/src/html/HTMLParagraphElement.res

@@ -0,0 +1,9 @@
+/**
+Provides special properties (beyond those of the regular HTMLElement object interface it inherits) for manipulating <p> elements.
+[See HTMLParagraphElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLParagraphElement)
+*/
+type t = private {
+  ...DOMTree.htmlElement,
+}
+
+include HTMLElement.Impl({type t = t})

package/src/html/HTMLPictureElement.res

@@ -0,0 +1,9 @@
+/**
+A <picture> HTML element. It doesn't implement specific properties or methods.
+[See HTMLPictureElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLPictureElement)
+*/
+type t = private {
+  ...DOMTree.htmlElement,
+}
+
+include HTMLElement.Impl({type t = t})

package/src/html/HTMLPreElement.res

@@ -0,0 +1,9 @@
+/**
+Exposes specific properties and methods (beyond those of the HTMLElement interface it also has available to it by inheritance) for manipulating a block of preformatted text (<pre>).
+[See HTMLPreElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLPreElement)
+*/
+type t = private {
+  ...DOMTree.htmlElement,
+}
+
+include HTMLElement.Impl({type t = t})

package/src/html/HTMLProgressElement.res

@@ -0,0 +1,29 @@
+/**
+Provides special properties and methods (beyond the regular HTMLElement interface it also has available to it by inheritance) for manipulating the layout and presentation of <progress> elements.
+[See HTMLProgressElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLProgressElement)
+TODO: mark as private once mutating fields of private records is allowed
+*/
+type t = {
+  ...DOMTree.htmlElement,
+  /**
+    Sets or gets the current value of a progress element. The value must be a non-negative number between 0 and the max value.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLProgressElement/value)
+    */
+  mutable value: float,
+  /**
+    Defines the maximum, or "done" value for a progress element.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLProgressElement/max)
+    */
+  mutable max: float,
+  /**
+    Returns the quotient of value/max when the value attribute is set (determinate progress bar), or -1 when the value attribute is missing (indeterminate progress bar).
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLProgressElement/position)
+    */
+  position: float,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLProgressElement/labels)
+    */
+  labels: DOM.nodeList<HTMLLabelElement.t>,
+}
+
+include HTMLElement.Impl({type t = t})

package/src/html/HTMLQuoteElement.res

@@ -0,0 +1,9 @@
+/**
+Provides special properties and methods (beyond the regular HTMLElement interface it also has available to it by inheritance) for manipulating quoting elements, like <blockquote> and <q>, but not the <cite> element.
+[See HTMLQuoteElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLQuoteElement)
+*/
+type t = private {
+  ...DOMTree.htmlElement,
+}
+
+include HTMLElement.Impl({type t = t})