{-# LANGUAGE NoImplicitPrelude #-}

-- |
-- Module      : OAlg.Limes.Cone
-- Description : cones over diagrams
-- Copyright   : (c) Erich Gut
-- License     : BSD3
-- Maintainer  : zerich.gut@gmail.com
-- 
-- cones over diagrams.
module OAlg.Limes.Cone
  ( module Def
  , module Elg
  ) where

import OAlg.Limes.Cone.Definition as Def
import OAlg.Limes.Cone.EligibleFactor as Elg