Mod

Author: xieyuheng

TODO.md

@@ -1,3 +1,13 @@
+# module system
+
+Definition
+
+Mod -- has definitions
+
+Place and Transition -- has modId
+
+Mod has definitions: Map<string, Definition>
+
 # net
 
 [net] addPlace
@@ -23,12 +33,6 @@ Stmt
 
 parser
 
-# module system
-
-Definition
-
-Mod has definitions: Map<string, Definition>
-
 # type system
 
 Type -- simple type system

src/lang/mod/Mod.ts

@@ -0,0 +1,3 @@
+export type Mod = {
+  //
+}

src/lang/mod/index.ts

@@ -0,0 +1 @@
+export * from "./Mod"

src/lang/net/addPlace.ts

@@ -1,2 +1,3 @@
 export * from "./Net"
 export * from "./createNet"
+// export * from "./addPlace"