Legend:
Library
Module
Module type
Parameter
Class
Class type
type structure
type signature
type toplevel_phrase
type core_type
type expression
type pattern
type case
type type_declaration
type type_extension
type extension_constructor