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

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