{-# OPTIONS --safe #-}

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

open import Ledger.Conway.Types.Numeric.UnitInterval public