Network_state (integration_test_lib.Integration_test_lib.Network

module Make
  (Engine : Intf.Engine.S)
  (Event_router : Intf.Dsl.Event_router_intf with module Engine := Engine) : 
  Intf.Dsl.Network_state_intf
    with module Engine := Engine
     and module Event_router := Event_router