------------------------------------------------------------------------
-- From the Agda standard library
--
-- Sizes for Agda's sized types
------------------------------------------------------------------------

module Common.Size where

open import Agda.Builtin.Size public renaming (ω to ∞; SizeU to SizeUniv)
