{-# OPTIONS --cubical --safe #-}

module Function.Fiber where

open import Level
open import Data.Sigma.Base
open import Path
open import Cubical.Foundations.Everything using (fiber) public