🔍 Equations Inline Footnotes module Data.Dec where Decisions🔗 open import Data.Dec.Base public open import Data.Dec.Path public
