module PairAgentsSiteState_map_and_set: Map_wrapper.S_with_logs with type elt = (c_agent_id * c_agent_name * c_site_name * c_state) * (c_agent_id * c_agent_name * c_site_name * c_state)
Map_wrapper.S_with_logs
with type elt = (c_agent_id * c_agent_name * c_site_name * c_state) * (c_agent_id * c_agent_name * c_site_name * c_state)