Module Ph_types.ObjMap

module ObjMap: Map.S  with type key = objective