------------------------------------------------------------------------ -- The Agda standard library -- -- This module is DEPRECATED. ------------------------------------------------------------------------ {-# OPTIONS --cubical-compatible --safe #-} module Data.AVL.Height where {-# WARNING_ON_IMPORT "Data.AVL.Height was deprecated in v1.4. Use Data.Tree.AVL.Height instead." #-} open import Data.Tree.AVL.Height public