Sets.Concrete_ident
include sig ... end
type nonrec t = (Concrete_ident.t, Concrete_ident.comparator_witness) Base__Set.t
class 's monoid : object ... end