diff --git a/src/ReactDOM.re b/src/ReactDOM.re
index 648c11024..b20b5bc3a 100644
--- a/src/ReactDOM.re
+++ b/src/ReactDOM.re
@@ -846,6 +846,8 @@ type domProps = {
   [@mel.optional]
   list: option(string),
   [@mel.optional]
+  loading: option(string), /* "eager", "lazy" */
+  [@mel.optional]
   loop: option(bool),
   [@mel.optional]
   low: option(int),
diff --git a/src/ReactDOM.rei b/src/ReactDOM.rei
index b6ffb3e90..7bf64dd9f 100644
--- a/src/ReactDOM.rei
+++ b/src/ReactDOM.rei
@@ -928,6 +928,8 @@ type domProps = {
   [@mel.optional]
   list: option(string),
   [@mel.optional]
+  loading: option(string), /* "eager", "lazy" */
+  [@mel.optional]
   loop: option(bool),
   [@mel.optional]
   low: option(int),