module Cubical.Categories.Displayed.Quantifiers where

open import Cubical.Categories.Displayed.Quantifiers.Base public