Module Ind_cst.Cst_set

module Cst_set: CCSet.S  with type elt = t