{-# OPTIONS --safe --without-K #-}

module Term where

open import Term.Base public