open import Mockingbird.Forest using (Forest)

module Mockingbird.Forest.Combination {b ℓ} (forest : Forest {b} {ℓ}) where

open import Mockingbird.Forest.Combination.Base public