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

module Fragment.Setoid.Morphism where

open import Fragment.Setoid.Morphism.Base public
open import Fragment.Setoid.Morphism.Setoid public
open import Fragment.Setoid.Morphism.Properties public