12345678910111213141516-------------------------------------------------------------------------- The Agda standard library---- Signs------------------------------------------------------------------------ {-# OPTIONS --cubical-compatible --safe #-} module Data.Sign where -------------------------------------------------------------------------- Definition open import Data.Sign.Base publicopen import Data.Sign.Properties public using (_≟_)