open import Mockingbird.Forest using (Forest)

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

open import Mockingbird.Forest.Combination.Vec.Base forest public