-- Module      : Eser.Signature
-- Description : Tools for enumerating term algebras over signatures.
-- Copyright   : (c) Lulof Pirée, 2026
-- License     : AGPL-v3
-- Maintainer  : Lulof Pirée
--------------------------------------------------------------------------------
-- High-level file that exports definitions and proofs.

module Eser.Signature where

open import Eser.Signature.Definitions public
open import Eser.Signature.PiecewiseFin public
open import Eser.Signature.MainTheorem public
open import Eser.Signature.Properties public
open import Eser.Signature.Splits public
open import Eser.Signature.JumpEnum public
open import Eser.Signature.Recursion public
open import Eser.Signature.NoWeight public