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

module OWL2.Corpus.Accepted.OBOGraph where

open import OWL2.Corpus.Accepted.OBOGraph.Decode public
open import OWL2.Corpus.Accepted.OBOGraph.Policy public
open import OWL2.Corpus.Accepted.OBOGraph.Raw public