{-# OPTIONS --exact-split --safe --prop  #-}
module Proposition.Decidable where

open import Proposition.Decidable.Definition public
open import Proposition.Decidable.Identity public
-- open import Proposition.Decidable.Monoid public
