{-# OPTIONS --safe #-}
module Data.Dec where

open import Data.Dec.Base       public
open import Data.Dec.Path       public
open import Data.Dec.Properties public

open import Data.Dec.Instances.Everything public
