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

module Term.Neutral where

open import Term.Neutral.Base public
open import Term.Neutral.Properties public