Module Ckappa_sig.Dictionary_of_agents

module Dictionary_of_agents: Dictionary.Dictionary 
  with type key = c_agent_name
   and type value = agent_name