Legend:
Library
Module
Module type
Parameter
Class
Class type
inherit [ ground, ground, ground, 'inh, 'extra, 'syn ] t_t