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

module Spartan6.API.Profiles where

open import Spartan6.Prelude public

module Evidence where
  open import Spartan6.Evidence public

module Architecture where
  open import Spartan6.Architecture.Primitive public

module Capability where
  open import Spartan6.Architecture.ModeCapability public

module Profile where
  open import Spartan6.Architecture.ProfileDeclaration public

module LegacyProfile where
  open import Spartan6.Architecture.Profile public

module Mode where
  open import Spartan6.Validation.Parameter public

module Validation where
  open import Spartan6.Validation.Profile public