-- |
-- Module      : OAlg.Hom.Oriented
-- Description : homomorphisms between oriented structures
-- Copyright   : (c) Erich Gut
-- License     : BSD3
-- Maintainer  : zerich.gut@gmail.com
-- 
-- homomorphism between 'OAlg.Structure.Oriented.Definition.Oriented' structures.
module OAlg.Hom.Oriented
  ( module Ort
  , module Prp
  )
  where

import OAlg.Hom.Oriented.Definition as Ort
import OAlg.Hom.Oriented.Proposition as Prp