------------------------------------------------------------------------
-- The Agda standard library
--
-- Signs
------------------------------------------------------------------------

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

module Data.Sign where

------------------------------------------------------------------------
-- Definition

open import Data.Sign.Base public
open import Data.Sign.Properties public
  using (_≟_)