examples - 0.0.0

Data.Set

Description

Definitions

import Data.Set.AVL open public

syntax alias Set := AVLTreeSource#

eqSetI {A} {{Eq A}} : Eq (Set A)Source#

ordSetI {A} {{Ord A}} : Ord (Set A)Source#