{-# OPTIONS --without-K --rewriting #-}

module lib.modalities.Modalities where

open import lib.modalities.Truncation public