Module Cfg_intf.CFG.TMap

module TMap: Map.S  with type key = t