15.3.172  src/lib/compiler/back/low/tools/arch/adl-typing.api

## adl-typing.api
#
# Type checking 

# Compiled by:
#     src/lib/compiler/back/low/tools/arch/make-sourcecode-for-backend-packages.lib

stipulate
    package ard =  architecture_description;                                    # architecture_description      is from   src/lib/compiler/back/low/tools/arch/architecture-description.pkg
    package mst =  adl_symboltable;                                             # adl_symboltable               is from   src/lib/compiler/back/low/tools/arch/adl-symboltable.pkg
    package raw =  adl_raw_syntax_form;                                         # Adl_Raw_Syntax_Form           is from   src/lib/compiler/back/low/tools/adl-syntax/adl-raw-syntax-form.api
herein

    # This api is implemented in:
    #     src/lib/compiler/back/low/tools/arch/adl-typing.pkg
    #
    api Adl_Typing {
        #
        is_typeagnostic:  raw::Type -> Bool;

        type_check:       ard::Architecture_Description
                      ->  raw::Declaration
                      -> (raw::Declaration, mst::Symboltable);
    };
end;