Module Type.ParamMap

module ParamMap: Map.S  with type key = param