flowchart TD
          AllVerifiers("AllVerifiers")

          AllVerifiers -->|"_merger"| IAstObject_IAstDualField_
          AllVerifiers -->|"_verifier"| IAstObject_IAstDualField_
          IAstObject_IAstDualField_("IAstObject(IAstDualField)")

          IAstObject_IAstDualField_ -->|"="| NullVerifierError_IAstObject_IAstDualField__
          VerifyCategoryAliased("VerifyCategoryAliased")

          VerifyCategoryAliased -->|"_merger"| IAstSchemaCategory
          VerifyCategoryAliased -->|"_verifier"| IAstSchemaCategory
          IAstSchemaCategory("IAstSchemaCategory")

          IAstSchemaCategory -->|"="| NullVerifierError_IAstSchemaCategory_
          VerifyDirectiveAliased("VerifyDirectiveAliased")

          VerifyDirectiveAliased -->|"_merger"| IAstSchemaDirective
          VerifyDirectiveAliased -->|"_verifier"| IAstSchemaDirective
          IAstSchemaDirective("IAstSchemaDirective")

          IAstSchemaDirective -->|"="| NullVerifierError_IAstSchemaDirective_
        

          flowchart TD
          AstDomainVerifier_AstDomainVerifier`1("AstDomainVerifier(AstDomainVerifier`1")

          AstDomainVerifier_AstDomainVerifier`1 -->|"_items"| IAstDomainRange
          IAstDomain("IAstDomain")

          IAstDomain -->|"="| NullVerifierError_IAstDomain_
          IAstEnum("IAstEnum")

          IAstEnum -->|"="| NullVerifierError_IAstEnum_
          IAstObject_IAstDualField_("IAstObject(IAstDualField)")

          IAstObject_IAstDualField_ -->|"="| NullVerifierError_IAstObject_IAstDualField__
          IAstObject_IAstInputField_("IAstObject(IAstInputField)")

          IAstObject_IAstInputField_ -->|"="| NullVerifierError_IAstObject_IAstInputField__
          IAstObject_IAstOutputField_("IAstObject(IAstOutputField)")

          IAstObject_IAstOutputField_ -->|"="| NullVerifierError_IAstObject_IAstOutputField__
        

          flowchart TD
          IAstSchema("IAstSchema")

          IAstSchema -->|"="| VerifySchema
          VerifySchema("VerifySchema")

          VerifySchema -->|"_categoryOutputs"| IAstSchemaCategory
          VerifySchema -->|"_directiveInputs"| IAstSchemaDirective
          VerifySchema -->|"_optionsAliased"| IAstSchemaOption
          VerifySchema -->|"_types"| IAstType_Array_
          VerifySchema -->|"_typesAliased"| IAstType
          IAstSchemaCategory("IAstSchemaCategory")

          IAstSchemaCategory -->|"="| NullVerifierError_IAstSchemaCategory_
          IAstSchemaDirective("IAstSchemaDirective")

          IAstSchemaDirective -->|"="| NullVerifierError_IAstSchemaDirective_
          IAstSchemaOption("IAstSchemaOption")

          IAstSchemaOption -->|"="| NullVerifierError_IAstSchemaOption_
          IAstType_Array_("IAstType[]")

          IAstType_Array_ -->|"="| VerifyAllTypes
          VerifyAllTypes("VerifyAllTypes")

          VerifyAllTypes -->|"_domainAllTypes"| IAstDomain
          VerifyAllTypes -->|"_dualAllTypes"| IAstObject_IAstDualField_
          VerifyAllTypes -->|"_enumAllTypes"| IAstEnum
          VerifyAllTypes -->|"_inputAllTypes"| IAstObject_IAstInputField_
          VerifyAllTypes -->|"_outputAllTypes"| IAstObject_IAstOutputField_
          VerifyAllTypes -->|"_unionAllTypes"| IAstUnion
          IAstDomain("IAstDomain")

          IAstDomain -->|"="| NullVerifierError_IAstDomain_
          IAstObject_IAstDualField_("IAstObject(IAstDualField)")

          IAstObject_IAstDualField_ -->|"="| NullVerifierError_IAstObject_IAstDualField__
          IAstEnum("IAstEnum")

          IAstEnum -->|"="| NullVerifierError_IAstEnum_
          IAstObject_IAstInputField_("IAstObject(IAstInputField)")

          IAstObject_IAstInputField_ -->|"="| NullVerifierError_IAstObject_IAstInputField__
          IAstObject_IAstOutputField_("IAstObject(IAstOutputField)")

          IAstObject_IAstOutputField_ -->|"="| NullVerifierError_IAstObject_IAstOutputField__
          IAstUnion("IAstUnion")

          IAstUnion -->|"="| NullVerifierError_IAstUnion_
          IAstType("IAstType")

          IAstType -->|"="| NullVerifierError_IAstType_
        

          flowchart TD
          IVerifyDomain("IVerifyDomain")

          IVerifyDomain -->|"="| AstDomainVerifier_IAstDomainRange_
        

          flowchart TD
          VerifyAllTypesAliased("VerifyAllTypesAliased")

          VerifyAllTypesAliased -->|"_merger"| IAstType
          IAstType("IAstType")

          IAstType -->|"="| NullVerifierError_IAstType_
          VerifyCategoryOutput("VerifyCategoryOutput")

          VerifyCategoryOutput -->|"_aliased"| IAstSchemaCategory
          IAstSchemaCategory("IAstSchemaCategory")

          IAstSchemaCategory -->|"="| NullVerifierError_IAstSchemaCategory_
          VerifyDirectiveInput("VerifyDirectiveInput")

          VerifyDirectiveInput -->|"_aliased"| IAstSchemaDirective
          IAstSchemaDirective("IAstSchemaDirective")

          IAstSchemaDirective -->|"="| NullVerifierError_IAstSchemaDirective_
        

          flowchart TD
          VerifyDomainEnum("VerifyDomainEnum")

          VerifyDomainEnum -->|"_items"| IAstDomainLabel
        

          flowchart TD
          VerifyDomainsAliased("VerifyDomainsAliased")

          VerifyDomainsAliased -->|"_merger"| IAstDomain
          VerifyDomainsAliased -->|"_verifier"| IAstDomain
          IAstDomain("IAstDomain")

          IAstDomain -->|"="| NullVerifierError_IAstDomain_
        

          flowchart TD
          VerifyDomainTypes("VerifyDomainTypes")

          VerifyDomainTypes -->|"_aliased"| IAstDomain
          VerifyDomainTypes -->|"_domains"| IVerifyDomain
          IAstDomain("IAstDomain")

          IAstDomain -->|"="| NullVerifierError_IAstDomain_
          IVerifyDomain("IVerifyDomain")

          IVerifyDomain -->|"="| AstDomainVerifier_IAstDomainRange_
          VerifyEnumsAliased("VerifyEnumsAliased")

          VerifyEnumsAliased -->|"_merger"| IAstEnum
          VerifyEnumsAliased -->|"_verifier"| IAstEnum
          IAstEnum("IAstEnum")

          IAstEnum -->|"="| NullVerifierError_IAstEnum_
          VerifyEnumTypes("VerifyEnumTypes")

          VerifyEnumTypes -->|"_aliased"| IAstEnum
          VerifyEnumTypes -->|"_mergeItems"| IAstEnumLabel
          IAstEnum("IAstEnum")

          IAstEnum -->|"="| NullVerifierError_IAstEnum_
        

          flowchart TD
          VerifyDualTypes("VerifyDualTypes")

          VerifyDualTypes -->|"_aliased"| IAstObject_IAstDualField_
          VerifyDualTypes -->|"_constraintMatcher"| IAstTypeArg
          VerifyDualTypes -->|"_mergeAlternates"| IAstAlternate
          VerifyDualTypes -->|"_mergeItems"| IAstDualField
          IAstObject_IAstDualField_("IAstObject(IAstDualField)")

          IAstObject_IAstDualField_ -->|"="| NullVerifierError_IAstObject_IAstDualField__
          VerifyInputTypes("VerifyInputTypes")

          VerifyInputTypes -->|"_aliased"| IAstObject_IAstInputField_
          VerifyInputTypes -->|"_constraintMatcher"| IAstTypeArg
          VerifyInputTypes -->|"_mergeAlternates"| IAstAlternate
          VerifyInputTypes -->|"_mergeItems"| IAstInputField
          IAstObject_IAstInputField_("IAstObject(IAstInputField)")

          IAstObject_IAstInputField_ -->|"="| NullVerifierError_IAstObject_IAstInputField__
          VerifyOutputTypes("VerifyOutputTypes")

          VerifyOutputTypes -->|"_aliased"| IAstObject_IAstOutputField_
          VerifyOutputTypes -->|"_constraintMatcher"| IAstTypeArg
          VerifyOutputTypes -->|"_mergeAlternates"| IAstAlternate
          VerifyOutputTypes -->|"_mergeItems"| IAstOutputField
          IAstObject_IAstOutputField_("IAstObject(IAstOutputField)")

          IAstObject_IAstOutputField_ -->|"="| NullVerifierError_IAstObject_IAstOutputField__
        

          flowchart TD
          VerifyOptionAliased("VerifyOptionAliased")

          VerifyOptionAliased -->|"_merger"| IAstSchemaOption
          VerifyOptionAliased -->|"_verifier"| IAstSchemaOption
          IAstSchemaOption("IAstSchemaOption")

          IAstSchemaOption -->|"="| NullVerifierError_IAstSchemaOption_
          VerifyUnionsAliased("VerifyUnionsAliased")

          VerifyUnionsAliased -->|"_merger"| IAstUnion
          VerifyUnionsAliased -->|"_verifier"| IAstUnion
          IAstUnion("IAstUnion")

          IAstUnion -->|"="| NullVerifierError_IAstUnion_
          VerifyUnionTypes("VerifyUnionTypes")

          VerifyUnionTypes -->|"_aliased"| IAstUnion
          VerifyUnionTypes -->|"_mergeItems"| IAstUnionMember
          IAstUnion("IAstUnion")

          IAstUnion -->|"="| NullVerifierError_IAstUnion_