    -- Copyright © 2011 National Institute of Aerospace / Galois, Inc.

    -- | Main Copilot language export file.
    --
    -- This is mainly a meta-module that re-exports most definitions in this
    -- library.

    {-# LANGUAGE Safe #-}

    module Copilot.Language
      ( module Data.Int
      , module Data.Word
      , module Copilot.Core
      , module Copilot.Core.Type
      , module Copilot.Core.Type.Array
      , module Copilot.Language.Error
      , module Copilot.Language.Interpret
      , module Copilot.Language.Operators.Boolean
      , module Copilot.Language.Operators.Cast
      , module Copilot.Language.Operators.Constant
      , module Copilot.Language.Operators.Eq
      , module Copilot.Language.Operators.Extern
      , module Copilot.Language.Operators.Local
      , module Copilot.Language.Operators.Label
      , module Copilot.Language.Operators.Integral
      , module Copilot.Language.Operators.Mux
      , module Copilot.Language.Operators.Ord
      , module Copilot.Language.Operators.Temporal
      , module Copilot.Language.Operators.BitWise
      , module Copilot.Language.Operators.Array
      , module Copilot.Language.Operators.Struct
      , module Copilot.Language.Prelude
      , Spec
      , Stream
      , observer
      , trigger
      , arg
      , prop
      , theorem
      , forAll
      , exists
      ) where

    import Data.Int hiding (Int)
    import Data.Word
    import Copilot.Core (Name, Typed)
    import Copilot.Core.Type
    import Copilot.Core.Type.Array
    import Copilot.Language.Error
    import Copilot.Language.Interpret
    import Copilot.Language.Operators.Boolean
    import Copilot.Language.Operators.Cast
    import Copilot.Language.Operators.Constant
    import Copilot.Language.Operators.Eq
    import Copilot.Language.Operators.Extern
    import Copilot.Language.Operators.Integral
    import Copilot.Language.Operators.Local
    import Copilot.Language.Operators.Label
    import Copilot.Language.Operators.Mux
    import Copilot.Language.Operators.Ord
    import Copilot.Language.Operators.Temporal
    import Copilot.Language.Operators.BitWise
    import Copilot.Language.Operators.Array
    import Copilot.Language.Operators.Struct
    import Copilot.Language.Reify
    import Copilot.Language.Prelude
    import Copilot.Language.Spec
    import Copilot.Language.Stream (Stream)