Module Cfg_intf.CFG.ProdMap

module ProdMap: Map.S  with type key = prod * symbol list