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

import Cubical.Axiom.Choice
import Cubical.Axiom.Omniscience
import Cubical.Axiom.UniquenessOfIdentity