This is the Base.Structures module of the Agda Universal Algebra Library.
{-# OPTIONS --without-K --exact-split --safe #-} module Base.Structures where open import Base.Structures.Basic open import Base.Structures.Graphs open import Base.Structures.Graphs0 open import Base.Structures.Products open import Base.Structures.Congruences open import Base.Structures.Homs open import Base.Structures.Isos open import Base.Structures.Terms open import Base.Structures.Substructures open import Base.Structures.EquationalLogic open import Base.Structures.Sigma