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

module Spartan6.Architecture.Mode where

open import Spartan6.Validation.Parameter public
  using
    (CoreParameters; lut1Parameters; lut2Parameters; lut3Parameters;
     lut4Parameters; lut5Parameters; lut6Parameters; muxf7Parameters;
     muxf8Parameters; carry4Parameters; fdreParameters; fdseParameters;
     ibufParameters; obufParameters; obufdsParameters; bufgParameters;
     bufgceParameters; normaliseCoreParameters;
     normaliseInstanceCoreParameters; CoreParameterResult)