UnbalancedSet

Definitions

data UnbalancedSet : Type -> Type

Totality: total
Visibility: export
Constructors:

E : UnbalancedSet a

T : UnbalancedSet a -> a -> UnbalancedSet a -> UnbalancedSet a

Hint: 

Ord a => Set UnbalancedSet a