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

module OWL2.Kernel where

open import OWL2.Kernel.Core public