Legend:
Library
Module
Module type
Parameter
Class
Class type
type out_value
type out_type
type out_class_type
type out_module_type
type out_sig_item
type out_type_extension
type out_phrase