------------------------------------------------------------------------
-- The Agda standard library
--
-- Unit interval
------------------------------------------------------------------------

{-# OPTIONS --without-K --safe #-}

module Data.Interval where

------------------------------------------------------------------------
-- Publicly re-export contents of core module and queries

open import Data.Interval.Base public