Up
Module
Ind_cst.Cst_set
module
Cst_set:
CCSet.S
with type elt = t
Set of constants