Module Fact.ParameterMap

module ParameterMap: Map.S  with type key = parameter