{-# OPTIONS --no-load-primitives --cubical #-} module CubicalHott.Primitives where open import CubicalHott.Primitives.Interval public open import CubicalHott.Primitives.Kan public open import CubicalHott.Primitives.Type public