juvix-docs - 0.0.0

Stdlib.Data.Set

Definitions

import Stdlib.Data.Set.AVL open public

syntax alias Set := AVLTreeSource#