Module Ckappa_sig.Rule_FIFO

module Rule_FIFO: Working_list.Work_list 
  with type elt = c_rule_id