()
A utility function which prompts the user to press the 'enter' key
        so that the exploration session can shift back to the enclosing type.
        Useful when exploring types.
A utility function which prompts the user to press the 'enter' key
        so that the exploration session can shift back to the enclosing type.
        Useful when exploring types.
A utility function which prompts the user to press the enter key so that the exploration session can shift back to the enclosing type . Useful when exploring types .
def return_to_enclosing_type_prompt():
        """A utility function which prompts the user to press the 'enter' key
        so that the exploration session can shift back to the enclosing type.
        Useful when exploring types.
        """
        raw_input("\nPress enter to return to enclosing type: ")
def return_to_enclosing_type_prompt ( ) : raw_input ( "\nPress enter to return to enclosing type: " )