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

module Spartan6.API where

-- This index intentionally does not open every facade into one namespace.
-- Consumers choose the smallest coherent surface and retain its module names.

import Spartan6.API.Circuit
import Spartan6.API.Netlist
import Spartan6.API.Validation
import Spartan6.API.Hierarchy
import Spartan6.API.StateResources
import Spartan6.API.Profiles