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

module OWL2.Corpus.Rejected.OBOGraph where

open import OWL2.Corpus.Rejected.OBOGraph.Policy public
open import OWL2.Corpus.Rejected.OBOGraph.Raw public