module A201801.CMTTScopes where open import A201801.Prelude open import A201801.Vec -------------------------------------------------------------------------------- Scopes : Nat → Set Scopes d = Vec Nat d --------------------------------------------------------------------------------