------------------------------------------------------------------------
-- The Agda standard library
--
-- Morphisms between algebraic lattice structures
------------------------------------------------------------------------

{-# OPTIONS --without-K --safe #-}

module Algebra.Lattice.Morphism where

------------------------------------------------------------------------
-- Re-export

open import Algebra.Morphism.Definitions public
open import Algebra.Lattice.Morphism.Structures public