----------------------------------------------------------------------------- -- | -- Module : Bound -- Copyright : (C) 2012 Edward Kmett -- License : BSD-style (see the file LICENSE) -- -- Maintainer : Edward Kmett -- Stability : experimental -- Portability : portable -- ---------------------------------------------------------------------------- module Bound ( module Bound.Var , module Bound.Class , module Bound.Scope , module Bound.Term ) where import Bound.Var import Bound.Class import Bound.Scope import Bound.Term