    ------------------------------------------------------------------------
    -- 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."
    #-}