---
layout: default
title : "Overture module"
date : "2022-17-06"
author: "the agda-algebras development team"
---

## Overture

This is the [Overture][] module of the [Agda Universal Algebra Library][].


```agda
{-# OPTIONS --cubical-compatible --exact-split --safe #-}

module Overture where

open import Overture.Preface     public
open import Overture.Basic       public
open import Overture.Signatures  public
open import Overture.Operations  public
open import Overture.Relations   public
open import Overture.Functions   public
open import Overture.Terms       public
open import Overture.Adjunction  public
open import Overture.Cayley      public
```