Module type LowerUpperNeg.SMALLSET

module type SMALLSET = sig .. end

include LowerUpper.SS_WO_ME

val diff : t -> t -> t