123456789101112-------------------------------------------------------------------------- The Agda standard library---- Algebraic objects with an apartness relation------------------------------------------------------------------------ {-# OPTIONS --cubical-compatible --safe #-} module Algebra.Apartness where open import Algebra.Apartness.Structures publicopen import Algebra.Apartness.Bundles public