    ------------------------------------------------------------------------
    -- The Agda standard library
    --
    -- Algebraic objects with an apartness relation
    ------------------------------------------------------------------------

    {-# OPTIONS --cubical-compatible --safe #-}

    module Algebra.Apartness where

    open import Algebra.Apartness.Structures public
    open import Algebra.Apartness.Bundles public