RedBlackSet

Definitions

data RedBlackSet : Type -> Type

Totality: total
Visibility: export
Constructors:

E : RedBlackSet a

T : Color -> RedBlackSet a -> a -> RedBlackSet a -> RedBlackSet a

Hint: 

Ord a => Set RedBlackSet a