{-# OPTIONS --safe #-}
module Prelude.Decidable where

open import Prelude.Decidable.Core public
open import Prelude.Decidable.Instances public