{-# OPTIONS --safe #-}

-- Subsets of number types useful for the ledger specification.
module Ledger.Types.Numeric where

open import Ledger.Types.Numeric.UnitInterval public