-- | -- Module : OAlg.Structure.Distributive -- Description : distributive structures -- Copyright : (c) Erich Gut -- License : BSD3 -- Maintainer : zerich.gut@gmail.com -- -- 'Distributive' structures. module OAlg.Structure.Distributive ( module Dst , module Prp ) where import OAlg.Structure.Distributive.Definition as Dst import OAlg.Structure.Distributive.Proposition as Prp