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

module Data.Pi where

open import Data.Pi.Base public