module Data.Dec where

Decisions🔗

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