open import Cubical.Foundations.Prelude

module DCPO (ℓi : Level) where

open import DCPO.Base ℓi public