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

module OWL2.Diagnostics where

open import OWL2.Diagnostics.Core public
open import OWL2.Diagnostics.Algebra public