Fix: track the Step module, defined in the previous commit (result of the Main split)

lib/sasacore/step.ml

+
+open Register
+open Process
+
+
+let (update_neighbor_env: 'v Env.t -> 'v Register.neighbor -> 'v Register.neighbor) =
+  fun e n ->
+    { n with state = Env.get_copy e n.Register.pid }
+
+let (update_env: 'v Env.t -> 'v Process.t * 'v -> 'v Env.t) =
+  fun e (p, st) ->
+    Env.set e p.pid st    
+
+  
+let (f : ('v Process.t * 'v Register.neighbor list * action) list -> 'v Env.t
+     -> 'v Env.t) =
+  fun pnal e -> 
+    let lenv_list =
+      List.map (fun (p,nl,a) ->
+          let nl = List.map (update_neighbor_env e) nl in
+          let lenv = Env.get_copy e p.pid in
+          p, p.step nl lenv a)
+        pnal
+    in
+    (* 4: update the env *)
+    let ne = List.fold_left update_env e lenv_list in
+    ne

lib/sasacore/step.mli

+val f : ('v Process.t * 'v Register.neighbor list * Register.action) list -> 'v Env.t
+  -> 'v Env.t