Module Ckappa_sig.PairRule_setmap

module PairRule_setmap: SetMap.S  with type elt = c_rule_id * c_rule_id

type elt 

module Set: SetMap.Set  with type elt = elt

module Map: SetMap.Map  with type elt = elt and type set = Set.t