ARE_ALIKE

From ASCEND
Jump to: navigation, search

ARE_ALIKE is ASCEND's 'refinement clique' constructor. It causes a group of instances to always be of the same formal type. Refining one of them causes a refinement of all the others. Does not propagate implicit type information, such as assignments to constants or part refinements made from a scope other than the scope of the formal definition.

This article is incomplete or needs expanding. Please help out by adding your comments.

Examples are needed here.


See also ARE_THE_SAME, IS_REFINED_TO.