module OWL2.Everything where

-- Typechecking this module typechecks every module in the safe ff-owl library.
import OWL2
import OWL2.Check
import OWL2.Check.Bundle
import OWL2.Check.Result
import OWL2.Corpus
import OWL2.Corpus.Accepted
import OWL2.Corpus.Accepted.Kernel
import OWL2.Corpus.Accepted.Morphism
import OWL2.Corpus.Accepted.OBOGraph
import OWL2.Corpus.Accepted.OBOGraph.Decode
import OWL2.Corpus.Accepted.OBOGraph.Policy
import OWL2.Corpus.Accepted.OBOGraph.Raw
import OWL2.Corpus.Accepted.Raw
import OWL2.Corpus.Accepted.RawImports
import OWL2.Corpus.Accepted.SymbolTable
import OWL2.Corpus.Rejected
import OWL2.Corpus.Rejected.OBOGraph
import OWL2.Corpus.Rejected.OBOGraph.Policy
import OWL2.Corpus.Rejected.OBOGraph.Raw
import OWL2.Corpus.Rejected.Raw
import OWL2.Corpus.Rejected.RawImports
import OWL2.Data.String
import OWL2.Datatype.Map
import OWL2.Datatype.XSD.Core
import OWL2.DescriptionLogic
import OWL2.Diagnostics
import OWL2.Diagnostics.Algebra
import OWL2.Diagnostics.Core
import OWL2.DirectSemantics
import OWL2.DirectSemantics.AnnotationErasure
import OWL2.DirectSemantics.Datatype
import OWL2.DirectSemantics.Entailment
import OWL2.DirectSemantics.Expansions
import OWL2.DirectSemantics.Interpretation
import OWL2.DirectSemantics.Lemmas
import OWL2.DirectSemantics.Ontology
import OWL2.Elab
import OWL2.Elab.CheckedImport
import OWL2.Elab.Declarations
import OWL2.Elab.Empty
import OWL2.Elab.ImportProject
import OWL2.Elab.ImportProject.Legacy
import OWL2.Elab.Policy
import OWL2.Elab.Punning
import OWL2.Elab.Regularity
import OWL2.Elab.Result
import OWL2.Elab.Structural
import OWL2.Elab.SymbolTable
import OWL2.Examples.Cardinality
import OWL2.Examples.Countermodels
import OWL2.Examples.FacetRestriction
import OWL2.Examples.Family
import OWL2.Examples.Family.Lemmas
import OWL2.Examples.Family.Portable
import OWL2.Examples.GlobalRestrictions
import OWL2.Examples.HasKey
import OWL2.Examples.OBOGraph.Json
import OWL2.Examples.OBOGraph.Json.ABox
import OWL2.Examples.OBOGraph.Json.AllValuesFromEdges
import OWL2.Examples.OBOGraph.Json.CheckResult
import OWL2.Examples.OBOGraph.Json.CheckedKernelSmoke
import OWL2.Examples.OBOGraph.Json.EquivNodeSetTest
import OWL2.Examples.OBOGraph.Json.LogicalDefinitionTest
import OWL2.Examples.OBOGraph.Json.Nucleus
import OWL2.Examples.OBOGraph.Json.ObsoletionExample
import OWL2.Examples.OBOGraph.Json.Policy
import OWL2.Examples.OBOGraph.Json.PropertyChainAllValues
import OWL2.Examples.OBOGraph.Json.PropertyChainAxiom
import OWL2.Examples.OBOGraph.Json.RO
import OWL2.Examples.OBOGraph.Json.ROCore
import OWL2.Examples.OBOGraph.Json.SYMP
import OWL2.Examples.OBOGraph.Json.Schema
import OWL2.Examples.OBOGraph.Json.Semantics
import OWL2.Examples.OBOGraph.Json.Showcase
import OWL2.Examples.OBOGraph.Json.UO
import OWL2.Examples.OBOGraph.Json.Validation
import OWL2.Examples.OBOGraph.References
import OWL2.Examples.Portable.Declarations
import OWL2.Examples.Portable.PropertyKinds
import OWL2.Examples.Portable.Regularity
import OWL2.Examples.Portable.RegularityRank
import OWL2.Examples.Portable.SemanticSupport
import OWL2.Examples.PropertyChain
import OWL2.Examples.Punning
import OWL2.Examples.Regularity
import OWL2.Examples.WebProtege
import OWL2.Examples.WebProtege.Annotations
import OWL2.Examples.WebProtege.CardinalityRestrictions
import OWL2.Examples.WebProtege.Constructors
import OWL2.Examples.WebProtege.Corpus
import OWL2.Examples.WebProtege.Countermodels
import OWL2.Examples.WebProtege.DL
import OWL2.Examples.WebProtege.Datatype
import OWL2.Examples.WebProtege.DocumentPolicy
import OWL2.Examples.WebProtege.GlobalRestrictions
import OWL2.Examples.WebProtege.Imports
import OWL2.Examples.WebProtege.KeyRestrictions
import OWL2.Examples.WebProtege.Primer
import OWL2.Examples.WebProtege.ProfileRestrictions
import OWL2.Examples.WebProtege.Profiles
import OWL2.Examples.WebProtege.ProfilesQL
import OWL2.Examples.WebProtege.ProfilesRL
import OWL2.Examples.WellFormed
import OWL2.Foundation
import OWL2.Foundation.Fin
import OWL2.Foundation.List
import OWL2.Foundation.Maybe
import OWL2.Foundation.NonEmpty
import OWL2.Import
import OWL2.Import.OBOGraph
import OWL2.Import.OBOGraph.Checked
import OWL2.Import.OBOGraph.Policy
import OWL2.Import.OBOGraph.Raw
import OWL2.Kernel
import OWL2.Kernel.Core
import OWL2.Kernel.DatatypeMap
import OWL2.Kernel.Morphism
import OWL2.Kernel.Name
import OWL2.Kernel.Regularity
import OWL2.Kernel.SemanticSupport
import OWL2.Kernel.Semantics
import OWL2.Kernel.Signature
import OWL2.Kernel.Syntax
import OWL2.OBOGraph
import OWL2.OBOGraph.Check
import OWL2.OBOGraph.Decode
import OWL2.OBOGraph.Policy
import OWL2.OBOGraph.References
import OWL2.OBOGraph.Report
import OWL2.OBOGraph.Schema
import OWL2.OBOGraph.Syntax
import OWL2.OBOGraph.ToPortable
import OWL2.OBOGraph.Validate
import OWL2.Ontology.ImportClosure
import OWL2.Portable
import OWL2.Portable.AnnotationErasure
import OWL2.Portable.CardinalityRestrictions
import OWL2.Portable.Check
import OWL2.Portable.Check.Core
import OWL2.Portable.Check.Declarations
import OWL2.Portable.Check.PropertyRoles
import OWL2.Portable.Check.Regularity
import OWL2.Portable.Check.SemanticSupport
import OWL2.Portable.Check.WebProtege
import OWL2.Portable.Declarations
import OWL2.Portable.DocumentPolicy
import OWL2.Portable.Equality
import OWL2.Portable.GlobalRestrictions
import OWL2.Portable.ImportClosure
import OWL2.Portable.KeyRestrictions
import OWL2.Portable.ObjectPropertyKeys
import OWL2.Portable.ProfileRestrictions
import OWL2.Portable.PropertyKinds
import OWL2.Portable.Punning
import OWL2.Portable.Regularity
import OWL2.Portable.RegularityProof
import OWL2.Portable.RegularityRank
import OWL2.Portable.RegularityRankProof
import OWL2.Portable.Semantics
import OWL2.Portable.Syntax
import OWL2.Portable.WebProtegeReport
import OWL2.Prelude
import OWL2.Profiles
import OWL2.Profiles.EL
import OWL2.Profiles.QL
import OWL2.Profiles.RL
import OWL2.Raw
import OWL2.Raw.Provenance
import OWL2.Raw.Syntax
import OWL2.Semantics
import OWL2.Semantics.Complete
import OWL2.Semantics.ImportProject
import OWL2.Semantics.ImportProject.Legacy
import OWL2.Syntax
import OWL2.Syntax.Declarations
import OWL2.Syntax.GlobalRestrictions
import OWL2.Syntax.PropertyKinds
import OWL2.Syntax.Punning
import OWL2.Syntax.Regularity
import OWL2.Syntax.WellFormed