{-# OPTIONS --safe #-}

module foundation-core.constant-maps where

open import foundation-core.universe-levels

const : {l1 l2 : Level} (A : UU l1) (B : UU l2) → B → A → B
const A B b x = b