{-# OPTIONS --rewriting #-}

module A201801.CMTTScopes where

open import A201801.Prelude
open import A201801.Vec


--------------------------------------------------------------------------------


Scopes : Nat → Set
Scopes d = Vec Nat d


--------------------------------------------------------------------------------