Add more type modeling

es-meta · Oct 31, 2024 · 81dd208 · 81dd208
1 parent 3300d9a
commit 81dd208
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 1 deletion.
diff --git a/src/main/resources/manuals/types b/src/main/resources/manuals/types
@@ -629,6 +629,12 @@ type ModuleRecord {
   HostDefined: Undefined;
 }
 
+// https://tc39.es/ecma262/#resolvedbinding-record
+type ResolvedBindingRecord {
+  Module: Record[ModuleRecord];
+  BindingName: String | Enum[~namespace~];
+}
+
 // https://tc39.es/ecma262/#sec-cyclic-module-records
 type CyclicModuleRecord extends ModuleRecord {
   def LoadRequestedModules;

diff --git a/src/main/resources/result/spec-summary b/src/main/resources/result/spec-summary
@@ -16,4 +16,4 @@
   - yet: 356
   - unknown: 625
 - tables: 94
-- type model: 93
+- type model: 94