{-# OPTIONS --safe #-}

open import Prelude

module HITs.Pushout where

open import HITs.Pushout.Base public
open import HITs.Pushout.Eliminators using (rec) public