Module Ckappa_sig.Rule_setmap

module Rule_setmap: SetMap.S  with type elt = 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