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

module OWL2.Check where

open import OWL2.Check.Bundle public
open import OWL2.Check.Result public