Module Type.ParamSet

module ParamSet: Set.S  with type elt = param