{-# OPTIONS --safe #-}
module Cubical.Experiments.HAEquivInt where

open import Cubical.Experiments.HAEquivInt.Base public