This module contains the required definitions and functions for closing a stack. Its dual is it self.
This structure is used to close an ordering or a name.