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

open import Renaming.Base public
open import Renaming.Properties public