15.4.594  src/lib/compiler/front/semantic/types/unify-and-generalize-types.pkg

## unify-and-generalize-types.pkg
## (C) 2001 Lucent Technologies, Bell Labs

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



# Lib7-specific instantiation of the TypecheckModuleDeclarationType generic.



package unify_and_generalize_types
    =
    unify_and_generalize_types_g (              # from src/lib/compiler/front/typer/types/unify-and-generalize-types-g.pkg


        inlining_info_says_it_is_pure
            =
            inlining_junk::pure_info;


        inlining_info_to_my_type
            =
            generics_expansion_junk_parameter::inlining_info_to_my_type;
    );