Env -- has mod, net and locals

Author: xieyuheng

TODO.md

@@ -1,11 +1,17 @@
+[net] TransitionEntry -- has `subnet`
+
 # stmt
 
-Stmt
+DefinePlace
+
+DefineTransition
 
 Run
 
 ```
 run {
+  place input: Complaint = [{}, {}, ...]
+
   (input) -> [register] -> (c1, c2)
   (c1) -> [sendQuestionnaire] -> (c3)
   (c3) -> [processQuestionnaire] -> (c5)
@@ -19,6 +25,10 @@ run {
 }
 ```
 
+# exp
+
+BlockStmt -- LetPlace
+
 # net
 
 [connect] connectTransitionToInputPlaces(net: Net, transition: Transition, places: Array<Place>)

src/lang/env/Env.ts

@@ -0,0 +1,9 @@
+import { Mod } from "../mod"
+import { Net } from "../net"
+import { Value } from "../value"
+
+export type Env = {
+  mod: Mod
+  net: Net
+  locals: Map<string, Value>
+}

src/lang/env/index.ts

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