15.4.593  src/lib/compiler/front/semantic/types/type-core-language-declaration.pkg

## type-core-language-declaration.pkg

# Compiled by:
#     src/lib/compiler/core.sublib



# Lib7-specific instantiation of the TypecheckModuleDeclarationType generic.

stipulate
    package ij  =  inlining_junk;                                       # inlining_junk                         is from   src/lib/compiler/front/semantic/basics/inlining-junk.pkg
    package gjp =  generics_expansion_junk_parameter;                   # generics_expansion_junk_parameter     is from   src/lib/compiler/front/semantic/modules/generics-expansion-junk-parameter.pkg
herein

    package type_core_language_declaration
        =
        type_core_language_declaration_g (              # from src/lib/compiler/front/typer/types/type-core-language-declaration-g.pkg
            #
            inlining_data_says_it_is_pure
                =
                ij::is_pure_baseop;


            inlining_data_to_my_type
                =
                gjp::inlining_data_to_my_type;
        );

end;


## (C) 2001 Lucent Technologies, Bell Labs