module Common.Level where

open import Agda.Primitive public