{-# OPTIONS --safe --cubical #-}

module OWL2.Foundation where

open import OWL2.Foundation.List public
open import OWL2.Foundation.Maybe public
open import OWL2.Foundation.NonEmpty public
open import OWL2.Foundation.Fin public