module Cubical.Categories.Displayed.Instances.Weaken where

open import Cubical.Categories.Displayed.Instances.Weaken.Base public
open import Cubical.Categories.Displayed.Instances.Weaken.Properties public