{-# OPTIONS --cubical --safe #-}

module Data.Sigma where

open import Data.Sigma.Base public