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

module OWL2.Elab.ImportProject.Legacy where

open import OWL2.Elab.ImportProject public
  using
    ( 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
    )