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

module OWL2.Import.OBOGraph where

open import OWL2.Import.OBOGraph.Policy public
open import OWL2.Import.OBOGraph.Checked public