Module Cfg_intf.CFG.ProdSet

module ProdSet: Set.S  with type elt = prod * symbol list