-- |

-- Module      : OAlg.Structure.PartiallyOrdered

-- Description : partially ordered types.

-- Copyright   : (c) Erich Gut

-- License     : BSD3

-- Maintainer  : zerich.gut@gmail.com

--

-- partially ordered types.

module OAlg.Structure.PartiallyOrdered
  ( module Def
  , module Prp
  )
  where

import OAlg.Structure.PartiallyOrdered.Definition as Def
import OAlg.Structure.PartiallyOrdered.Proposition as Prp