{-# OPTIONS --without-K --sized-types #-} ------------------------------------------------------------------------ -- From the Agda standard library -- -- Sizes for Agda's sized types ------------------------------------------------------------------------ module Common.Size where open import Agda.Builtin.Size public
