{-# OPTIONS --safe --exact-split --prop  #-}
module Data.Tree where

open import Data.Tree.Definition public
open import Data.Tree.Property public
open import Data.Tree.Function public
open import Data.Tree.Location public
