{-# OPTIONS --safe --cubical #-}

module Spartan6.Architecture.Kind where

-- Compatibility boundary while the closed universe is migrated out of the
-- original all-in-one architecture module.
open import Spartan6.Architecture.Primitive public using (PrimitiveKind)