{-# OPTIONS --safe #-} module Cubical.Data.Cardinality where open import Cubical.Data.Cardinality.Base public open import Cubical.Data.Cardinality.Properties public