Previous  Up  Next

Module Ckappa_sig.Rule_map_and_set

module Rule_map_and_set: Map_wrapper.S_with_logs 
  with type elt = c_rule_id