module Lib.Decidable where

open import Lib.Zero
open import Lib.Two
open import Lib.Sigma

Dec : Set → Set
Dec X = (X → Zero) + X