change undefined to None

rescript-lang · Mar 21, 2023 · 2b52a04 · 2b52a04
1 parent 14ea9ed
commit 2b52a04
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/Core__Object.res b/src/Core__Object.res
@@ -25,8 +25,7 @@
 
 ```rescript
 {"a": 1, "b": 2}->Object.keysToArray // ["a", "b"]
-{"a": undefined}->Object.keysToArray // ["a"]
-Object.empty()->Object.keysToArray // []
+{"a": None}->Object.keysToArray // ["a"]Object.empty()->Object.keysToArray // []
 ```
 ## Specifications
 - [ECMAScript Language Specification](https://tc39.es/ecma262/multipage/fundamental-objects.html#sec-object.keys)