Legend:
Library
Module
Module type
Parameter
Class
Class type
method one : one_method_class
method undo : unit