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

module Spartan6.API.StateResources where

open import Spartan6.Prelude public

module Resource where
  open import Spartan6.Semantics.StateResource public

module Adapters where
  open import Spartan6.Semantics.StateAdapters public

module Composition where
  open import Spartan6.Semantics.StateComposition public

module FlatMachine where
  open import Spartan6.Hierarchy.FlatMachine public

module ResourceFlattening where
  open import Spartan6.Hierarchy.ResourceFlattening public

module PairFlattening where
  open import Spartan6.Hierarchy.ResourcePairFlattening public