{-# OPTIONS --safe #-}
module foundation.functions where

open import foundation-core.functions public