{-# OPTIONS --safe #-}
module Data.Truncation.Propositional where

open import Data.Truncation.Propositional.Base       public
open import Data.Truncation.Propositional.Path       public
open import Data.Truncation.Propositional.Properties public

open import Data.Truncation.Propositional.Instances.Everything public
