{-#
OPTIONS
--safe
#-}
module
Cubical.HITs.Wedge
where
open
import
Cubical.HITs.Wedge.Base
public