---
layout: default
file: "src/Overture/Terms.lagda.md"
title: "Terms module"
date: "2026-06-18"
author: "the agda-algebras development team"
---

## Terms

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

open import Overture.Signatures using ( 𝓞 ; 𝓥 ; Signature )
module Overture.Terms {𝑆 : Signature 𝓞 𝓥} where

open import Overture.Terms.Basic  {𝑆 = 𝑆}  public
open import Overture.Terms.Interpretation  public
open import Overture.Terms.Translation     public
```