|(require dos/win)||package: dos|
Identifies dos/win kernel states.
Constructs a kernel state where each of the p are initial processes.
Spawns new threads ts and adds mappings from each key to each val to the registry. Returns the next registry.
Like win-write but does not return.
Returns the environment that p writes when given cur.
Returns a value that e holds for k or default if it holds none.
Returns the values that e holds for k.
Simulates one cycle of the kernel cur’s operation and returns a new kernel state.
These functions cannot be called from inside processes, because they cannot capture win? values.
Returns a new kernel state where the registry maps k to vs.
Like env-read, but on the environment of w.
Like env-read1, but on the environment of w.