------------------------------------------------------------------------
-- The Agda standard library
--
-- This module is DEPRECATED. Please use the Data.Tree.Rose.Show module
-- directly
------------------------------------------------------------------------

{-# OPTIONS --cubical-compatible --sized-types #-}

module Text.Tree.Linear where

open import Data.Tree.Rose.Show public using (display)

{-# WARNING_ON_IMPORT
"Text.Tree.Linear was deprecated in v1.6. Use Data.Tree.Rose.Show instead."
#-}