Module Ckappa_sig.RuleAgent_map_and_set

module RuleAgent_map_and_set: Map_wrapper.S_with_logs 
  with type elt = c_rule_id * c_agent_id