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

open import Substitution.Base public
open import Substitution.Properties public