Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Default specification than can be used by the pretty-printer for Hasse-diagrams. Just include
it into some module and override the defaults as required.
include Display_hasse_intf.DEFAULT_SPEC