Module type Core_kernel__Set.Equal_m