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

module Spartan6.API.Netlist where

open import Spartan6.Prelude public

module Checked where
  open import Spartan6.Netlist.Checked public

module Direct where
  open import Spartan6.Netlist.DAGEvaluation public

module Expression where
  open import Spartan6.Netlist.Expression public

module Handler where
  open import Spartan6.Netlist.PrimitiveHandler public

module Provenance where
  open import Spartan6.Netlist.Provenance public

module Schedule where
  open import Spartan6.Netlist.ReadySchedule public

module Builder where
  open import Spartan6.Netlist.StableBuilder public

module Stable where
  open import Spartan6.Netlist.StableDAG public

module LUT where
  open import Spartan6.Primitive.LUT public

module Semantics where
  open import Spartan6.Semantics.Design public

module Result where
  open import Spartan6.Validation.CheckResult public

module Diagnostic where
  open import Spartan6.Validation.Diagnostic public