Overture.Terms

Terms

{-# 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