Stdlib.Data.Set
Contents
import Stdlib.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#
