-- |

-- Module      : OAlg.Structure.Lattice

-- Description : lattices.

-- Copyright   : (c) Erich Gut

-- License     : BSD3

-- Maintainer  : zerich.gut@gmail.com

--

-- 'Lattice's.

module OAlg.Structure.Lattice
  ( module Ltc
  , module Prp
  )
  where

import OAlg.Structure.Lattice.Definition as Ltc
import OAlg.Structure.Lattice.Proposition as Prp