add use-path grammar

WebAssembly · Sep 11, 2023 · 83586af · 83586af
1 parent fb99bcb
commit 83586af
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/design/mvp/WIT.md b/design/mvp/WIT.md
@@ -930,6 +930,9 @@ include my-world-2
 include-item ::= 'include' use-path
                | 'include' use-path 'with' '{' include-names-list '}'
 
+use-path ::= id
+           | id ':' id '/' id
+
 include-names-list ::= include-names-item
                      | include-names-list ',' include-names-item