uniquely-represented-sets-0.1.0.0
Data.Tree.Braun.Properties
Description
This module provides functions to test invariants of Braun trees.
Synopsis
isBraun :: Tree a -> Bool Source #
Returns true iff the tree is a Braun tree.