Module generalize_type 

Functions

generalize_type

C++ GeneralizationResult<TypeId> generalizeType(...) (Generalization.cpp:730-837). Replace a single free type by its bounds according to the polarity provided.