{-# OPTIONS --safe #-} module Cubical.Axiom.Everything where import Cubical.Axiom.Omniscience import Cubical.Axiom.UniquenessOfIdentity