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

import Cubical.Structures.Auto
import Cubical.Structures.Axioms
import Cubical.Structures.Constant
import Cubical.Structures.Function
import Cubical.Structures.LeftAction
import Cubical.Structures.Macro
import Cubical.Structures.Maybe
import Cubical.Structures.MultiSet
import Cubical.Structures.Parameterized
import Cubical.Structures.Pointed
import Cubical.Structures.Product
import Cubical.Structures.Queue
import Cubical.Structures.Record
import Cubical.Structures.Relational.Auto
import Cubical.Structures.Relational.Constant
import Cubical.Structures.Relational.Equalizer
import Cubical.Structures.Relational.Function
import Cubical.Structures.Relational.Macro
import Cubical.Structures.Relational.Maybe
import Cubical.Structures.Relational.Parameterized
import Cubical.Structures.Relational.Pointed
import Cubical.Structures.Relational.Product
import Cubical.Structures.Successor
import Cubical.Structures.Transfer
import Cubical.Structures.TypeEqvTo