{-

Postulated axioms and some basic consequences.

-}
module axiom where

open import axiom.flat public
open import axiom.funext public
open import axiom.shape public
open import axiom.cofibration public
open import axiom.realignment public
open import axiom.tiny public
open import axiom.fibrant-replacement public