module Cubical.Categories.FunctorComprehension where

open import Cubical.Categories.FunctorComprehension.Base public