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

module OWL2.Elab where

open import OWL2.Elab.Policy public
open import OWL2.Elab.CheckedImport public
open import OWL2.Elab.Result public
open import OWL2.Elab.SymbolTable public
open import OWL2.Elab.Regularity public
open import OWL2.Elab.Punning public
open import OWL2.Elab.Empty public
open import OWL2.Elab.Declarations public
open import OWL2.Elab.Structural public
  hiding (structuralOntologyFromTable)
open import OWL2.Elab.ImportProject public
  hiding
    ( projectDocumentResult
    ; projectDocumentDiagnostics
    ; projectDocumentsDiagnostics
    ; CheckedProjectDocument
    ; checkedProjectDocument
    ; documentClean
    ; CheckedProjectDocuments
    ; checkedProjectDocuments[]
    ; checkedProjectDocuments∷
    ; projectDocumentChecked
    ; projectDocumentSignatureFromSource
    ; projectDocumentSound
    ; projectDocumentSourceImports
    ; projectDocumentNormalizedImportsClosed
    ; projectDocumentsChecked
    ; CheckedProjectDocumentMorphisms
    ; checkedProjectDocumentMorphisms[]
    ; checkedProjectDocumentMorphisms∷
    ; checkedProjectDocumentHeadMorphism
    ; checkedProjectDocumentTailMorphisms
    ; checkedProjectDocumentMorphismFromSource
    ; checkedProjectDocumentMorphismsFromSource
    ; checkedProjectDocumentProjectOntology
    ; checkedProjectDocumentsProjectOntologies
    ; CheckedProjectDocumentsSound
    ; checkedProjectDocumentsSoundOf
    ; checkedProjectDocumentsFromClean
    ; checkedImportProjectStructuralDiagnostics
    ; checkedImportProjectDiagnostics
    ; checkedImportProjectDuplicateCleanFromClean
    ; checkedImportProjectMissingCleanFromClean
    ; checkedImportProjectAmbiguousCleanFromClean
    ; checkedImportProjectStructuralCleanFromClean
    ; checkedImportProjectRootDocumentCleanFromClean
    ; checkedImportProjectImportDocumentsCleanFromClean
    ; CheckedImportProject
    ; checkedImportProject
    ; projectPolicyEvidence
    ; duplicateOntologyIDsClean
    ; missingImportsClean
    ; ambiguousImportsClean
    ; checkedRootDocument
    ; checkedImportDocuments
    ; CheckedImportProjectMorphisms
    ; checkedImportProjectMorphisms
    ; checkedRootToProjectMorphism
    ; checkedImportsToProjectMorphisms
    ; checkedImportProjectMorphismsOf
    ; CheckedImportProjectProjection
    ; checkedImportProjectProjection
    ; projectionMorphisms
    ; projectedRootOntology
    ; projectedImportOntologies
    ; checkedImportProjectProjectionOf
    ; checkedImportProjectFromClean
    ; ElaboratesToCheckedImportProject
    ; elaboratesToCheckedImportProject
    ; duplicateOntologyIDsAccepted
    ; missingImportsAccepted
    ; ambiguousImportsAccepted
    ; checkedRootSound
    ; checkedImportsSound
    ; CheckedImportProjectElaborationResult
    ; checkedImportProjectEvidence?
    ; checkedImportProjectCleanEvidence
    ; checkedImportProjectSound
    ; elaborateCheckedImportProject
    ; elaborateCheckedImportProjectStrict
    )