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

module OWL2.Import where

open import OWL2.Import.OBOGraph public